Automatic testing of reactive systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1998, Pages 200-209

  Raymond, Pascal ^a   Nicollin, Xavier ^a   Halbwachs, Nicolas ^a   Weber, Daniel ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; COMPUTER CONTROL SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY;

LUSTRE PROGRAMMING LANGUAGE; REACTIVE SYSTEMS;

INTERACTIVE COMPUTER SYSTEMS;

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

References (24)