Search Results for Ortmeier, Frank. - Narrowed by: Computer logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOrtmeier$00252C$002bFrank.$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300? 2025-12-28T20:04:49Z Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489519 2025-12-28T20:04:49Z 2025-12-28T20:04:49Z Author&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;Rauzy, Antoine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485676 2025-12-28T20:04:49Z 2025-12-28T20:04:49Z Author&#160;Bondavalli, Andrea. editor.&#160;Ceccarelli, Andrea. editor.&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10557-4">https://doi.org/10.1007/978-3-319-10557-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>