New compositional method for condensed state-space verification

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 104-111

  Juan, Eric Y T ^a   Tsai, Jeffrey J P ^a   Murata, Tadao ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; PETRI NETS; STATE SPACE METHODS;

CONCURRENT SYSTEMS; STATE SPACE EXPLOSION;

SYSTEMS ENGINEERING;

EID: 0030706863     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)