Ortmeier, Frank books & textbook
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, ... (Lecture Notes in Computer Science, 8696)
Bondavalli, Andrea Ceccarelli, Andrea Ortmeier, Frank
Springer /2014-09-23 Paperback / 474 Pages
isbn-10: 3319105566 / isbn-13: 9783319105567
Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings (Programming and Software Engineering)
Springer /2012-08-31 Paperback / 420 Pages
isbn-10: 3642336779 / isbn-13: 9783642336775
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September ... (Programming and Software Engineering)
Springer /2012-08-30 Paperback / 546 Pages
isbn-10: 3642336744 / isbn-13: 9783642336744
Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings (Programming and Software Engineering)
Casimiro, António Ortmeier, Frank Bitsch, Friedemann Ferreira, Pedro
Springer /2020-08-20 Paperback / 476 Pages
isbn-10: 3030545482 / isbn-13: 9783030545482
Formale Sicherheitsanalyse (German Edition)
Logos Verlag Berlin /2006-07-10 Paperback / 180 Pages
isbn-10: 3832512772 / isbn-13: 9783832512774
Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings (Programming and Software Engineering)
Ortmeier, Frank Rauzy, Antoine
Springer /2014-10-02 Paperback / 219 Pages
isbn-10: 3319122134 / isbn-13: 9783319122137
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, ... (Programming and Software Engineering)
Casimiro, António Ortmeier, Frank Schoitsch, Erwin Bitsch, Friedemann Ferreira, Pedro
Springer /2020-08-06 Paperback / 432 Pages
isbn-10: 3030555828 / isbn-13: 9783030555825
