Frank OrtmeierBooksComputer Safety, Reliability, and Security : SAFECOMP 2014 WorkshopsComputer Safety, Reliability, and Security : SAFECOMP 2012 WorkshopsComputer Safety, Reliability, and SecurityModel-Based Safety and AssessmentComputer Safety, Reliability, and SecurityFormale SicherheitsanalyseAuthor data: Open Library