LEADER 03537nam  22007575  450 
001 9910349411003321
005 20251225203522.0
010   $a9783319991306
010   $a3319991302
024 7 $a10.1007/978-3-319-99130-6
035   $a(CKB)4100000006098186
035   $a(DE-He213)978-3-319-99130-6
035   $a(MiAaPQ)EBC6303293
035   $a(PPN)230538258
035   $a(EXLCZ)994100000006098186
100   $a20180816d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Safety, Reliability, and Security $e37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /$fedited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXI, 312 p. 92 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11093
311 08$a9783319991290 
311 08$a3319991299 
327   $aAutomotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
330   $aThis 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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v11093
606   $aComputer science
606   $aComputers, Special purpose
606   $aComputer networks
606   $aSoftware engineering
606   $aData protection
606   $aMicroprogramming
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aData and Information Security
606   $aControl Structures and Microprogramming
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aData protection.
615  0$aMicroprogramming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aData and Information Security.
615 24$aControl Structures and Microprogramming.
676   $a005.8
702   $aGallina$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSkavhaug$b Amund$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349411003321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA