LEADER 03890nam  22007335  450 
001 9910349411003321
005 20210126141620.0
010   $a3-319-99130-2
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 ;$v11093
311   $a3-319-99129-9 
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 ;$v11093
606   $aComputer logic
606   $aSpecial purpose computers
606   $aComputer communication systems
606   $aSoftware engineering
606   $aComputer security
606   $aMicroprogramming 
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018
615  0$aComputer logic.
615  0$aSpecial purpose computers.
615  0$aComputer communication systems.
615  0$aSoftware engineering.
615  0$aComputer security.
615  0$aMicroprogramming .
615 14$aLogics and Meanings of Programs.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aSystems and Data 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