LEADER 03788nam  22007695  450 
001 9910484129603321
005 20210126132004.0
010   $a3-319-45477-3
024 7 $a10.1007/978-3-319-45477-1
035   $a(CKB)3710000000872904
035   $a(DE-He213)978-3-319-45477-1
035   $a(MiAaPQ)EBC6286149
035   $a(MiAaPQ)EBC5586789
035   $a(Au-PeEL)EBL5586789
035   $a(OCoLC)958423211
035   $a(PPN)195510755
035   $a(EXLCZ)993710000000872904
100   $a20160903d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /$fedited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XV, 324 p. 105 illus.)
225 1 $aProgramming and Software Engineering ;$v9922
300   $aIncludes index.
311   $a3-319-45476-5 
330   $aThis book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.
410  0$aProgramming and Software Engineering ;$v9922
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer security
606   $aApplication software
606   $aComputer organization
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer security.
615  0$aApplication software.
615  0$aComputer organization.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aSystems and Data Security.
615 24$aComputer Applications.
615 24$aComputer Systems Organization and Communication Networks.
676   $a005.8
702   $aSkavhaug$b Amund$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGuiochet$b Jérémie$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   $a9910484129603321
996   $aComputer Safety, Reliability, and Security$92175020
997   $aUNINA