Dependability Assessment of Safety-Critical System Software by Static Analysis Methods

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 75-79

  Nguyen, Thuy ^a   Ourghanlian, Alain ^a  

^a EDF R AND D   (France)

Author keywords

[No Author keywords available]

Indexed keywords

RUN TIME SYSTEMS; SOURCE CODES;

BOOLEAN FUNCTIONS; CODES (SYMBOLS); CONTROL SYSTEM SYNTHESIS; DATA FLOW ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; GRAPH THEORY; NUCLEAR POWER PLANTS; OPTIMIZATION; QUALITY CONTROL; SAFETY FACTOR; SEMANTICS;

COMPUTER SOFTWARE;

EID: 1542300197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2003.1209918     Document Type: Conference Paper

References (0)