03537nam 22007575 450 991034941100332120251225203522.09783319991306331999130210.1007/978-3-319-99130-6(CKB)4100000006098186(DE-He213)978-3-319-99130-6(MiAaPQ)EBC6303293(PPN)230538258(EXLCZ)99410000000609818620180816d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XXI, 312 p. 92 illus.) Programming and Software Engineering,2945-9168 ;110939783319991290 3319991299 Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.Programming and Software Engineering,2945-9168 ;11093Computer scienceComputers, Special purposeComputer networksSoftware engineeringData protectionMicroprogrammingComputer Science Logic and Foundations of ProgrammingSpecial Purpose and Application-Based SystemsComputer Communication NetworksSoftware EngineeringData and Information SecurityControl Structures and MicroprogrammingComputer science.Computers, Special purpose.Computer networks.Software engineering.Data protection.Microprogramming.Computer Science Logic and Foundations of Programming.Special Purpose and Application-Based Systems.Computer Communication Networks.Software Engineering.Data and Information Security.Control Structures and Microprogramming.005.8Gallina Barbaraedthttp://id.loc.gov/vocabulary/relators/edtSkavhaug Amundedthttp://id.loc.gov/vocabulary/relators/edtBitsch Friedemannedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349411003321Computer Safety, Reliability, and Security2908259UNINA