Dependability assessment of safety-critical system software by static analysis methods
Nguyen, T.   Ourghanlian, A.  
EDF R&D;

This paper appears in: Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Publication Date: 22-25 June 2003
On page(s): 75- 79
ISSN:
ISBN: 0-7695-1952-0
Current Version Published: 2003-07-09