Sökresultat för Jean-Louis Boulanger

Formal Methods Applied to Complex Systems

Industrial Used of Formal Method: Formal Verification

Control Build Implementation

Doll scene - an international collection of crazy, cool, custom-designed do

Formal Method: Industrial Used from Model to the Code

Safety Management of Software-based Equipment

Static Analysis of Software: The Abstract Interpretation

Safety of Software-based Systems

Security of Computer Architectures

Formal Methods Applied to Industrial Complex Systems

Certifiable Software Applications in 4 Volumes

CENELEC 50128 and IEC 62279 Standards