TY - GEN T1 - Engineering dependable software systems AU - Broy, M., AU - Kalus, Georg. AU - Peled, Doron, VL - volume 34 CN - QA76.76.V47 N1 - "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. N1 - "Published in cooperation with NATO Emerging Security Challenges Division." ID - 703676 KW - Computer software KW - Computer systems SN - 9781614992073 TI - Engineering dependable software systems LK - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10785476 UR - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10785476 ER -