Formal Methods Applied to Complex Systems More Books by Jean-Louis Boulanger

CENELEC 50128 and IEC 62279 Standards CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
2015
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
Safety of Computer Architectures Safety of Computer Architectures
Safety of Computer Architectures
2013
Industrial Use of Formal Methods Industrial Use of Formal Methods
Industrial Use of Formal Methods
2013
Safety Management for Software-based Equipment Safety Management for Software-based Equipment
Safety Management for Software-based Equipment
2013