Your search returned 14 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)
			Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus. by NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Broy, M, 1949- [editor.] Peled, Doron A, 1962- [editor.] Kalus, Georg [editor.] NATO Emerging Security Challenges Division Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 34. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, [2013] 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 Maximilian Irlbeck, Doron Peled, Alexander Pretschner. by NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany) Irlbeck, Maximilian [editor.] Peled, Doron [editor.] Pretschner, Alexander [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 40. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, 2015Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Software verification and validation for practitioners and managers / Steven R. Rakitin. by Rakitin, Steven R Rakitin, Steven R. Software verification and validation Edition: 2nd ed. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Boston : Artech House, ©2001 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews. by Andrews, Jason R Series: Embedded technology series Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Burlington, MA : Elsevier Newnes, ©2005 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. by NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania) Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 Minea, Marius Ţiplea, Ferucio Laurenţiu Series: NATO security through science series. D, Information and communication security ; ; vol. 1. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Metamodeling-driven IP reuse for SoC integration and microprocessor design / Deepak A. Mathaikutty, Sandeep K. Shukla. by Mathaikutty, Deepak A Shukla, Sandeep K Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Boston : Artech House, ©2009 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. by NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010 : Marktoberdorf, Germany) Broy, M, 1949- [editor.] Leuxner, Christian [editor.] Hoare, C. A. R. (Charles Antony Richard), 1934- [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 30. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. by International Conference on New Trends in Software Methodologies, Tools and Techniques (10th : 2011 : Saint Petersburg, Russia) Fujita, Hamido Gavrilova, T. A. (Tatʹiana Alʹbertovna) Series: Frontiers in artificial intelligence and applications ; v. 231. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011 Other title: SoMeT_11 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André [edt] Sutcliffe, Geoff [edt] Platzer, André [oth] Sutcliffe, Geoff [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			No cover image available Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction by Weiß, Benjamin [auth] Material type: Article Language: English Publication details: KIT Scientific Publishing 2011 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André [edt] Sutcliffe, Geoff [edt] Platzer, André [oth] Sutcliffe, Geoff [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, Andr [edt] Platzer, Andr [oth] Sutcliffe, Geoff [edt] Sutcliffe, Geoff [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings by Pientka, Brigitte [edt] Pientka, Brigitte [oth] Tinelli, Cesare [edt] Tinelli, Cesare [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Cham Springer Nature 2023 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)