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年
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年