Books by Jean-Louis Boulanger
Certifiable Software Applications 4
Data Validation
Data Validation
Safety of Software-Based Syste
Safety of Software-Based Systems
B Method
B Method
Certifiable Software Applicati
Certifiable Software Applications 3
Applications Logicielles Certi
Applications Logicielles Certifiables 2
Certifiable Software Applicati
Certifiable Software Applications 1
Certifiable Software Applicati
Certifiable Software Applications 2
Control Build Implementation
Control Build Implementation
Certifiable Software Applicati
Certifiable Software Applications in 4 Volumes
Scade
Scade
Techniques de Sécurisation des
Techniques de Sécurisation des Applications à Base de Logiciel
Cenelec 50128 And Iec 62279 Standards
Formal Methods Applied to Comp
Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Formal Methods Applied to Indu
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Mise en Uvre des Normes CENELEC 50128 et IEC 62279
Safety Management of Software-Based Equipment
Safety Management for Sof
Safety Management for Software-Based Equipment
Safety of computer architectures
Static Analysis of Software
Static Analysis of Software
Formal method
Formal method
Industrial Use of Formal Metho
Industrial Use of Formal Methods
Industrial used of formal meth
Industrial used of formal method