Jean-Louis Boulanger profile picture

Jean-Louis Boulanger

Is this your author profile? Create an account to customize it!

Stand Alone

Cenelec 50128 And Iec 62279 Standards
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
SCADE: Language and Applications
Scade
Scade: Language and Applications
Industrial Use Of Formal Methods
Réminiscences anticipation fiction, nouvelle
Safety Of Computer Architectures
Certifiable Software Applications 1
Certifiable Software Applications 2
Certifiable Software Applications 3
Safety of Software-Based Systems
Scade