02902nam 22006615 450 991042771940332120251225183448.03-030-58920-X10.1007/978-3-030-58920-2(CKB)4100000011413880(DE-He213)978-3-030-58920-2(MiAaPQ)EBC6336353(PPN)250220644(EXLCZ)99410000001141388020200903d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierModel-Based Safety and Assessment 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings /edited by Marc Zeller, Kai Höfig1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XI, 255 p. 47 illus.) Programming and Software Engineering,2945-9168 ;12297Includes index.3-030-58919-6 This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.Programming and Software Engineering,2945-9168 ;12297Computer scienceArtificial intelligenceApplication softwareComputer engineeringComputer networksComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceComputer and Information Systems ApplicationsComputer Engineering and NetworksComputer science.Artificial intelligence.Application software.Computer engineering.Computer networks.Computer Science Logic and Foundations of Programming.Artificial Intelligence.Computer and Information Systems Applications.Computer Engineering and Networks.005.1015113005.1015113Zeller Marcedthttp://id.loc.gov/vocabulary/relators/edtHöfig Kaiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910427719403321Model-Based Safety and Assessment2914267UNINA