LEADER 04226nam  22007695  450 
001 996466032103316
005 20210730015909.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$b[electronic resource] $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 ;$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 ;$v8153
606   $aComputer security
606   $aComputer communication systems
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputers and civilization
606   $aSpecial purpose computers
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aComputer security.
615  0$aComputer communication systems.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputers and civilization.
615  0$aSpecial purpose computers.
615 14$aSystems and Data Security.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aAlgorithm Analysis and Problem Complexity.
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   $a996466032103316
996   $aComputer Safety, Reliability, and Security$92175020
997   $aUNISA