03691nam 22007815 450 991048502920332120201107201736.03-319-12214-210.1007/978-3-319-12214-4(CKB)3710000000249786(SSID)ssj0001354212(PQKBManifestationID)11868615(PQKBTitleCode)TC0001354212(PQKBWorkID)11322871(PQKB)11366763(DE-He213)978-3-319-12214-4(MiAaPQ)EBC6285282(MiAaPQ)EBC5578165(Au-PeEL)EBL5578165(OCoLC)892338629(PPN)181352249(EXLCZ)99371000000024978620140924d2014 u| 0engurnn|008mamaatxtccrModel-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings /edited by Frank Ortmeier, Antoine Rauzy1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (X, 209 p. 91 illus.) Programming and Software Engineering ;8822Bibliographic Level Mode of Issuance: Monograph3-319-12213-4 Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies.This 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.Programming and Software Engineering ;8822Computer logicSoftware engineeringMathematical logicProgramming languages (Electronic computers)AlgorithmsLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer logic.Software engineering.Mathematical logic.Programming languages (Electronic computers).Algorithms.Logics and Meanings of Programs.Software Engineering.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Algorithm Analysis and Problem Complexity.620.86Ortmeier Frankedthttp://id.loc.gov/vocabulary/relators/edtRauzy Antoineedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910485029203321Model-Based Safety and Assessment2914267UNINA