02175nam 2200625 450 991080699360332120230803200314.0(CKB)2670000000611990(SSID)ssj0001514675(PQKBManifestationID)11902476(PQKBTitleCode)TC0001514675(PQKBWorkID)11480816(PQKB)10597347(MiAaPQ)EBC2033821(Au-PeEL)EBL2033821(CaPaEBR)ebr11048359(CaONFJC)MIL774967(OCoLC)923713928(EXLCZ)99267000000061199020150506h20142014 uy 0engurcnu||||||||txtccrSoftware systems safety /edited by Orna Grumberg, Helmut Seidl and Maximilian IrlbeckAmsterdam, Netherlands :IOS Press,2014.©20141 online resource (396 pages) illustrations, photographsNATO Science for Peace and Security Series,1879-8292 ;Voume 36Bibliographic Level Mode of Issuance: Monograph1-61499-385-8 1-61499-384-X Includes bibliographical references at the end of each chapters and index.NATO science for peace and security series.Sub-series D,Information and communication security ;Volume 36.Systems softwareSafety measuresCongressesComputer securityCongressesSoftware engineeringCongressesSystems softwareSafety measuresComputer securitySoftware engineering005.16Grumberg OrnaSeidl HelmutIrlbeck MaximilianNATO Science for Peace and Security Programme.NATO Emerging Security Challenges Division.NATO Advanced Study Institute on Software Systems SafetyMiAaPQMiAaPQMiAaPQBOOK9910806993603321Software systems safety3926019UNINA