LEADER 02175nam 2200625 450 001 9910806993603321 005 20230803200314.0 035 $a(CKB)2670000000611990 035 $a(SSID)ssj0001514675 035 $a(PQKBManifestationID)11902476 035 $a(PQKBTitleCode)TC0001514675 035 $a(PQKBWorkID)11480816 035 $a(PQKB)10597347 035 $a(MiAaPQ)EBC2033821 035 $a(Au-PeEL)EBL2033821 035 $a(CaPaEBR)ebr11048359 035 $a(CaONFJC)MIL774967 035 $a(OCoLC)923713928 035 $a(EXLCZ)992670000000611990 100 $a20150506h20142014 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSoftware systems safety /$fedited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck 210 1$aAmsterdam, Netherlands :$cIOS Press,$d2014. 210 4$dİ2014 215 $a1 online resource (396 pages) $cillustrations, photographs 225 1 $aNATO Science for Peace and Security Series,$x1879-8292 ;$vVoume 36 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-61499-385-8 311 $a1-61499-384-X 320 $aIncludes bibliographical references at the end of each chapters and index. 410 0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vVolume 36. 606 $aSystems software$xSafety measures$vCongresses 606 $aComputer security$vCongresses 606 $aSoftware engineering$vCongresses 615 0$aSystems software$xSafety measures 615 0$aComputer security 615 0$aSoftware engineering 676 $a005.16 702 $aGrumberg$b Orna 702 $aSeidl$b Helmut 702 $aIrlbeck$b Maximilian 712 02$aNATO Science for Peace and Security Programme. 712 02$aNATO Emerging Security Challenges Division. 712 12$aNATO Advanced Study Institute on Software Systems Safety 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910806993603321 996 $aSoftware systems safety$93926019 997 $aUNINA