LEADER 03065nam  22007095  450 
001 9910484244503321
005 20251225205421.0
010   $a3-319-64119-0
024 7 $a10.1007/978-3-319-64119-5
035   $a(CKB)3710000001631252
035   $a(DE-He213)978-3-319-64119-5
035   $a(MiAaPQ)EBC6301112
035   $a(MiAaPQ)EBC5592415
035   $a(Au-PeEL)EBL5592415
035   $a(OCoLC)1005001555
035   $a(PPN)203849914
035   $a(EXLCZ)993710000001631252
100   $a20170801d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel-Based Safety and Assessment $e5th International Symposium, IMBSA 2017, Trento, Italy, September 11?13, 2017, Proceedings /$fedited by Marco Bozzano, Yiannis Papadopoulos
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (X, 273 p. 109 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10437
311 08$a3-319-64118-2 
327   $aSafety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies.
330   $aThis book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10437
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aAlgorithms
606   $aComputers, Special purpose
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aSpecial Purpose and Application-Based Systems
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputers, Special purpose.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a621.395
702   $aBozzano$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPapadopoulos$b Yiannis$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484244503321
996   $aModel-Based Safety and Assessment$92914267
997   $aUNINA