LEADER 03921nam  22007815  450 
001 996466209803316
005 20201107132833.0
010   $a3-642-33678-7
024 7 $a10.1007/978-3-642-33678-2
035   $a(CKB)3400000000086262
035   $a(SSID)ssj0000767474
035   $a(PQKBManifestationID)11941721
035   $a(PQKBTitleCode)TC0000767474
035   $a(PQKBWorkID)10740092
035   $a(PQKB)10244151
035   $a(DE-He213)978-3-642-33678-2
035   $a(MiAaPQ)EBC3070170
035   $a(PPN)168325136
035   $a(EXLCZ)993400000000086262
100   $a20120906d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings /$fedited by Frank Ortmeier, Peter Daniel
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XVIII, 402 p. 138 illus.)
225 1 $aProgramming and Software Engineering ;$v7612
300   $aInternational conference proceedings.
311   $a3-642-33677-9 
320   $aIncludes bibliographical references and author index.
327   $aTools -- Risk Analysis -- Testing -- Quantitative Analysis -- Security -- Formal Methods -- Aeronautic -- Automotive -- Process -- Case Studies.
330   $aThis book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.
410  0$aProgramming and Software Engineering ;$v7612
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   $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDaniel$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aSAFECOMP (Conference)
906   $aBOOK
912   $a996466209803316
996   $aComputer Safety, Reliability, and Security$9772429
997   $aUNISA