Jean-Louis Boulanger

Books
CENELEC 50128 and IEC 62279 Standards CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
2015
Formal Methods Applied to Complex Systems Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems
2014
Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
2014
Ingénierie des exigences Ingénierie des exigences
Ingénierie des exigences
2014
Formal Methods Formal Methods
Formal Methods
2013
Static Analysis of Software Static Analysis of Software
Static Analysis of Software
2013