Your search returned 4 results.

Results
	1.	Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) Grumberg, Orna Nipkow, Tobias, 1958- Pfaller, Christian ebrary, Inc Series: NATO security through science series. D, Information and communication security ; ; v. 14. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	2.	Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. by Esparza, Javier Spanfelner, Bernd Grumberg, Orna Technische Universität München (Germany) TECHNION. Israel Institute of Technology (Israel) ebrary, Inc Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 25. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2010 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	3.	Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) Nipkow, Tobias, 1958- Grumberg, Orna Hauptmann, Benedikt NATO Emerging Security Challenges Division ebrary, Inc Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	4.	Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. by Grumberg, Orna [editor.] Seidl, Helmut [editor.] Irlbeck, Maximilian [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; Volume 36. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: ©2014 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)