Region encoding diagram for fully symbolic verification of real-time systems

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2000, Pages 509-515

  Wang, Farn ^a  

^a ACADEMIA SINICA   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); STATE SPACE METHODS;

REGION ENCODING DIAGRAM (RED);

REAL TIME SYSTEMS;

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

References (17)