Validating requirements for fault tolerant systems using model checking

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1998, Pages 4-13

  Schneider, Francis ^a   Easterbrook, Steve M ^a   Callahan, John R ^a   Holzmann, Gerard J ^a  

^a NASA HEADQUARTERS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL EQUIPMENT; SPACECRAFT EQUIPMENT; STATE SPACE METHODS;

FAULT TOLERANT EMBEDDED SPACECRAFT CONTROLLERS; MODEL CHECKING;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (14)