Software systems safety
By: edited by Orna Grumberg, Computer Science Department, Technion, Haifa, Israel, Helmut Seidl, Technische Universität München, Germany, and Maximillian Irlbeck, Technische Universität München, Germany
Contributors: Grumberg, Orna, editor; Seidl, Helmut (Computer scientist), editor; Irlbeck, Maximilian, editor; NATO Science for Peace and Security Programme; NATO Emerging Security Challenges Division
Series: NATO science for peace and security series. D: Information and communication security -- vol. 36; NATO science for peace and security series -- v. 36.
Publisher: IOS Press
Published: 2014
Place of publication: Amsterdam; Berlin; Tokyo; Washington, DC
Language: eng
Number of pages: 381
ISBN-13: 9781614993841; 9781614993858
Copyright date: 2014
Subjects: Systems software; Safety measures; Congresses; Computer security; Software engineering
Notes: "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013"--Title page verso.

"Published in cooperation with NATO Emerging Security Challenges Division."

"This publication is supported by NATO Science for Peace and Security Programme"--Cover.

Includes bibliographical references and indexes.