کتاب های Jean Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
Boulanger, Jean-Louis, 2015
Formal Methods Applied to Complex Systems
Jean-Louis Boulanger, 2014
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger, 2014
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Jean-Louis Boulanger, 2014
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger (ed.), 2012
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger, 2012
Safety Management for Software-based Equipment
Jean?Louis Boulanger(auth.)
Safety of Computer Architectures
Jean-Louis Boulanger, 2010
Static Analysis of Software: The Abstract Interpretation
Jean-Louis Boulanger, 2011
Static Analysis of Software: The Abstract Interpretation
Jean-Louis Boulanger, 2011
