LEADER 03701nam  22008055  450 
001 9910484397203321
005 20251226195819.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,$x2945-9168 ;$v8666
300   $aIncludes index.
311 08$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,$x2945-9168 ;$v8666
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware engineering
606   $aData protection
606   $aApplication software
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Engineering and Networks
606   $aSoftware Engineering
606   $aData and Information Security
606   $aComputer and Information Systems Applications
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aData protection.
615  0$aApplication software.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Engineering and Networks.
615 24$aSoftware Engineering.
615 24$aData and Information Security.
615 24$aComputer and Information Systems 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