Your search returned 6 results.

Not what you expected? Check for suggestions

Results
			Software safety and security : 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 IOS Press (Firm) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2012 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Software systems safety / edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck. by NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany) 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. Sub-series D, Information and communication security ; ; v. 36. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, 2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg and Salomon Sickert. by NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems (2015 : Marktoberdorf, Germany) Esparza, Javier [editor.] Grumberg, Orna [editor.] Sickert, Salomon [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; vol. 45. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2016Copyright date: ©2016 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Formal logical methods for system security and correctness / 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 Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 14. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Logics and languages for reliability and security / edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. by NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany) Esparza, Javier Spanfelner, Bernd Grumberg, Orna IOS Press Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 24. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2010 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 [author.] Grumberg, Orna [author.] Peled, Doron A, 1962- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1999 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies | Maintained by: Global Library