Reading Length
Home
Speed Tests
Login
Frank Ortmeier
Identifiers
Open Library
OL7558077A
Top Subjects
Computer security (3)
Computers, reliability (2)
Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Data protection (1)
Artificial Intelligence (incl. Robotics) (1)
Books by Frank Ortmeier
Total count: 7
Formale Sicherheitsanalyse
Logos Verlag Berlin
2006-07-10
Computer Safety, Reliability, and Security : SAFECOMP 2012 Workshops
Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
Springer Berlin / Heidelberg
2012-01-01
Computer Safety, Reliability, and Security
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Imprint: Springer
2012-01-01
Computer Safety, Reliability, and Security
31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Springer Berlin / Heidelberg
2012-01-01
Model-Based Safety and Assessment
4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Springer London, Limited
2014-01-01
Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Springer London, Limited
2014-01-01
Computer Safety, Reliability, and Security
Safecomp 2014 Workshops - Ascoms, Decsos, Devvarts, Isse, Resa4ci, Sassur. Florence, Italy, September 10-12, 2014, Proceedings
Springer International Publishing AG
2014-01-01
