Frank Ortmeier

Computer Safety, Reliability,

Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops

2014

Model-Based Safety and Assessment

2014

Computer Safety, Reliability,

Computer Safety, Reliability, and Security : SAFECOMP 2012 Workshops

2012

Formale Sicherheitsanalyse

2006