Safety Management for Software-based Equipment Safety Management for Software-based Equipment
2013
Certifiable Software Applications 3 Certifiable Software Applications 3
2018
Certifiable Software Applications 2 Certifiable Software Applications 2
2016
Certifiable Software Applications 1 Certifiable Software Applications 1
2016
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
2014