Arama Sonu&ccedil;lar&#305; Ortmeier, Frank. - Daralt&#305;lm&#305;&#351;: Computer logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dOrtmeier$00252C$002bFrank.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300? 2025-02-17T08:21:16Z 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-02-17T08:21:16Z 2025-02-17T08:21:16Z Yazar&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;Rauzy, Antoine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-02-17T08:21:16Z 2025-02-17T08:21:16Z Yazar&#160;Bondavalli, Andrea. editor.&#160;Ceccarelli, Andrea. editor.&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>