Timing coverification of concurrent embedded real-time systems

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 1999, Pages 110-114

  Hsiung, Pao Ann ^a  

^a ACADEMIA SINICA   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; STATE SPACE METHODS;

CONCURRENT EMBEDDED REAL TIME SYSTEMS; HARDWARE-SOFTWARE CODESIGN;

COMPUTER ARCHITECTURE;

EID: 0032680540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/301177.301501     Document Type: Article

References (17)