Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques)

Neeraj Kumar Singh. Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques). PhD thesis, Henri Poincaré University, Nancy, France, 2011. [doi]

Abstract

Abstract is missing.