CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Safety Management for Software-based Equipment
Jean-Louis Boulanger
Safety of Computer Architectures
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
