LEADER 04077nam  22008295  450 
001 996466462803316
005 20200705130340.0
010   $a3-319-24255-5
024 7 $a10.1007/978-3-319-24255-2
035   $a(CKB)4340000000001117
035   $a(SSID)ssj0001584972
035   $a(PQKBManifestationID)16265246
035   $a(PQKBTitleCode)TC0001584972
035   $a(PQKBWorkID)14866002
035   $a(PQKB)10569071
035   $a(DE-He213)978-3-319-24255-2
035   $a(MiAaPQ)EBC6283599
035   $a(MiAaPQ)EBC5586312
035   $a(Au-PeEL)EBL5586312
035   $a(OCoLC)921889385
035   $a(PPN)19052846X
035   $a(EXLCZ)994340000000001117
100   $a20150905d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /$fedited by Floor Koornneef, Coen van Gulijk
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XXII, 486 p. 141 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9337
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-24254-7 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.
410  0$aProgramming and Software Engineering ;$v9337
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   $a004
702   $aKoornneef$b Floor$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $avan Gulijk$b Coen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466462803316
996   $aComputer Safety, Reliability, and Security$92175020
997   $aUNISA