Comments: Software safety and security

Saved in:

Bibliographic Details
Superior document:	NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
:	NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
TeilnehmendeR:	Nipkow, Tobias, 1958- Grumberg, Orna. Hauptmann, Benedikt. NATO Emerging Security Challenges Division. ProQuest (Firm)
Year of Publication:	2012
Language:	English
Series:	NATO science for peace and security series. Information and communication security ; v. 33.
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=948331
Physical Description:	ix, 387 p. :; ill.
Notes:	"Published in cooperation with NATO Emerging Security Challenges Division." "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. Includes indexes.
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!