Safety-critical software generation

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 1999, Pages 237-242

  Erkkinen, Thomas J ^a  

^a Applied Dynamics Int   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE MAINTENANCE; EMBEDDED SYSTEMS; ERROR DETECTION; RELIABILITY;

EMBEDDED SOFTWARE; ERROR PREVENTION; SAFETY CRITICAL SOFTWARE;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (11)