LEADER 01500nam 22004093 450 001 996678675103316 005 20250924080327.0 010 $a9783032050731 035 $a(CKB)40991089500041 035 $a(MiAaPQ)EBC32306166 035 $a(Au-PeEL)EBL32306166 035 $a(OCoLC)1544985640 035 $a(EXLCZ)9940991089500041 100 $a20250924d2025 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Based Safety and Assessment $e9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings 205 $a1st ed. 210 1$aCham :$cSpringer International Publishing AG,$d2025. 210 4$dİ2026. 215 $a1 online resource (606 pages) 225 1 $aLecture Notes in Computer Science Series ;$vv.15755 311 08$a9783032050724 330 $aThis book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers were carefully reviewed and selected from 39 submissions. 410 0$aLecture Notes in Computer Science Series 676 $a620.86011 700 $aKatsaros$b Panagiotis$01431383 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996678675103316 996 $aModel-Based Safety and Assessment$94442714 997 $aUNISA