Author

Jean-Louis Boulanger

18 books found

Cover of Data Validation

Data Validation

Jean-Louis Boulanger · First published 2020

Cover of Safety of Software-Based Systems

Safety of Software-Based Systems

Jean-Louis Boulanger · First published 2020

Cover of B Method

B Method

Jean-Louis Boulanger · First published 2019

Cover of Certifiable Software Applications 4

Certifiable Software Applications 4

Jean-Louis Boulanger · First published 2019

Cover of Certifiable Software Applications 3

Certifiable Software Applications 3

Jean-Louis Boulanger · First published 2018

Cover of Applications Logicielles Certifiables 2

Applications Logicielles Certifiables 2

Jean-Louis Boulanger · First published 2017

Cover of Certifiable Software Applications 2

Certifiable Software Applications 2

Jean-Louis Boulanger · First published 2016

Cover of Cenelec 50128 And Iec 62279 Standards

Cenelec 50128 And Iec 62279 Standards

Jean-Louis Boulanger · First published 2014

Cover of Formal Methods Applied to Complex Systems

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger · First published 2014

Cover of Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems

Jean-Louis Boulanger · First published 2014

Cover of Mise en Uvre des Normes CENELEC 50128 et IEC 62279

Mise en Uvre des Normes CENELEC 50128 et IEC 62279

Jean-Louis Boulanger · First published 2014

Cover of Safety Management for Software-Based Equipment

Safety Management for Software-Based Equipment

Jean-Louis Boulanger · First published 2013

Cover of Safety Management of Software-Based Equipment

Safety Management of Software-Based Equipment

Jean-Louis Boulanger · First published 2013

Cover of Formal Methods

Formal Methods

Jean-Louis Boulanger · First published 2012

Cover of Industrial Use of Formal Methods

Industrial Use of Formal Methods

Jean-Louis Boulanger · First published 2012

Cover of Industrial used of formal method

Industrial used of formal method

Jean-Louis Boulanger · First published 2012

Cover of Static analysis of software

Static analysis of software

Jean-Louis Boulanger · First published 2011

Cover of Safety of computer architectures

Safety of computer architectures

Jean-Louis Boulanger · First published 2010