LEADER 03687nam  22007695  450 
001 9910484673703321
005 20230707072155.0
010   $a3-642-40793-5
024 7 $a10.1007/978-3-642-40793-2
035   $a(CKB)3710000000015947
035   $a(SSID)ssj0000988087
035   $a(PQKBManifestationID)11515414
035   $a(PQKBTitleCode)TC0000988087
035   $a(PQKBWorkID)10949336
035   $a(PQKB)10907388
035   $a(DE-He213)978-3-642-40793-2
035   $a(MiAaPQ)EBC3093467
035   $a(PPN)172430011
035   $a(EXLCZ)993710000000015947
100   $a20130827d2013      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security $e32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings /$fedited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XVI, 304 p. 109 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8153
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40792-7 
327   $aSafety Requirements and Assurance -- Testing and Verification -- Security -- Software Reliability Assessment -- Practical Experience Reports and Tools -- Safety Assurance in Automotive -- Error Control Codes -- Dependable User Interfaces.- Hazard and Failure Mode Analysis.
330   $aThis book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8153
606   $aData protection
606   $aComputer networks
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputers and civilization
606   $aComputers, Special purpose
606   $aData and Information Security
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aAlgorithms
606   $aComputers and Society
606   $aSpecial Purpose and Application-Based Systems
615  0$aData protection.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputers and civilization.
615  0$aComputers, Special purpose.
615 14$aData and Information Security.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aAlgorithms.
615 24$aComputers and Society.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.8
702   $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGuiochet$b Jérémie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKaâniche$b Mohamed$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484673703321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA