عنوان

Software systems safety /

161499384X

9781614993841

9781614993858

dltt

Software systems safety /

[Book]

edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.

xi, 381 pages :

illustrations ;

25 cm.

NATO science for peace and security series. D: Information and communication security,

vol. 36

1874-6268 ;

"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"--Title page.

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

Includes bibliographical references and indexes.

Computer security, Congresses.

Software engineering, Congresses.

Systems software-- Safety measures, Congresses.

Grumberg, Orna

Irlbeck, Maximilian

Seidl, Helmut, (Computer scientist)

NATO Advanced Study Institute on Software Systems Safety(2013 :, Marktoberdorf, Germany)

NATO Emerging Security Challenges Division.

NATO Science for Peace and Security Programme.

20151103135545.0

rda

[Book]