Grumberg, Orna editor. Seidl, Helmut editor. Irlbeck, Maximilian editor. text bibliography Electronic books. ne 2014 2014 monographic eng 1 online resource (396 pages) : illustrations, photographs. edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. Includes bibliographical references at the end of each chapters and index. Systems software Safety measures Congresses Computer security Congresses Software engineering Congresses QA76.76.S95 .S648 2014eb 005.16 Amsterdam, Netherlands : IOS Press, c2014 viii, 381 pages 1879-8292 2014936390 Sub-series D Information and communication security 9781614993858 (e-book) http://site.ebrary.com/lib/rucke/Doc?id=11048359 http://site.ebrary.com/lib/rucke/Doc?id=11048359 CaPaEBR 150506 ebr11048359 eng