Formal Methods Applied to Industrial Complex Systems 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 Complex Systems Formal Methods Applied to Complex Systems
Formal Methods Applied to 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年