LEADER 03716nam  22007815  450 
001 996199681403316
005 20201107201736.0
010   $a3-319-12214-2
024 7 $a10.1007/978-3-319-12214-4
035   $a(CKB)3710000000249786
035   $a(SSID)ssj0001354212
035   $a(PQKBManifestationID)11868615
035   $a(PQKBTitleCode)TC0001354212
035   $a(PQKBWorkID)11322871
035   $a(PQKB)11366763
035   $a(DE-He213)978-3-319-12214-4
035   $a(MiAaPQ)EBC6285282
035   $a(MiAaPQ)EBC5578165
035   $a(Au-PeEL)EBL5578165
035   $a(OCoLC)892338629
035   $a(PPN)181352249
035   $a(EXLCZ)993710000000249786
100   $a20140924d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel-Based Safety and Assessment$b[electronic resource] $e4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings /$fedited by Frank Ortmeier, Antoine Rauzy
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 209 p. 91 illus.) 
225 1 $aProgramming and Software Engineering ;$v8822
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-12213-4 
327   $aModeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies.
330   $aThis book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.
410  0$aProgramming and Software Engineering ;$v8822
606   $aComputer logic
606   $aSoftware engineering
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aAlgorithms
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aAlgorithms.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a620.86
702   $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRauzy$b Antoine$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996199681403316
996   $aModel-Based Safety and Assessment$92095532
997   $aUNISA