Title :
Dependability assessment of safety-critical system software by static analysis methods
Author :
Nguyen, Thuy ; Ourghanlian, Alain
Author_Institution :
EDF R&D
Keywords :
Cost function; Failure analysis; Logic testing; Research and development; Runtime; Software measurement; Software performance; Software safety; Software tools; System software;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209918
