Integration of time in canonical testers for real-time systems

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1997, Pages 207-214

  Laurencot, P ^a   Castanet, R ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LANGUAGES; SEQUENTIAL MACHINES;

EXTENDED TIME INPUT OUTPUT STATE MACHINE;

REAL TIME SYSTEMS;

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

References (15)