LEADER 03936nam  22007815  450 
001 9910484397203321
005 20200701104635.0
010   $a3-319-10506-X
024 7 $a10.1007/978-3-319-10506-2
035   $a(CKB)3710000000228638
035   $a(SSID)ssj0001354085
035   $a(PQKBManifestationID)11768665
035   $a(PQKBTitleCode)TC0001354085
035   $a(PQKBWorkID)11322495
035   $a(PQKB)10799229
035   $a(DE-He213)978-3-319-10506-2
035   $a(MiAaPQ)EBC6294958
035   $a(MiAaPQ)EBC5595617
035   $a(Au-PeEL)EBL5595617
035   $a(OCoLC)890600881
035   $a(PPN)181351609
035   $a(EXLCZ)993710000000228638
100   $a20140903d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security $e33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings /$fedited by Andrea Bondavalli, Felicita Di Giandomenico
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XXIV, 356 p. 131 illus.) 
225 1 $aProgramming and Software Engineering ;$v8666
300   $aIncludes index.
311   $a3-319-10505-1 
327   $aVerification &Validation Techniques -- Automotive Systems -- Coverage Models and Mitigation Techniques -- Assurance cases and arguments -- System Analysis -- Security and Trust -- Notations/Languages for Safety-related aspects -- Safety and Security.
330   $aThis book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.
410  0$aProgramming and Software Engineering ;$v8666
606   $aComputer logic
606   $aComputer organization
606   $aSoftware engineering
606   $aComputer security
606   $aApplication software
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
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
615  0$aComputer logic.
615  0$aComputer organization.
615  0$aSoftware engineering.
615  0$aComputer security.
615  0$aApplication software.
615 14$aLogics and Meanings of Programs.
615 24$aComputer Systems Organization and Communication Networks.
615 24$aSoftware Engineering.
615 24$aSystems and Data Security.
615 24$aComputer Applications.
676   $a005.8
702   $aBondavalli$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDi Giandomenico$b Felicita$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484397203321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA