Title: Policy as Code: Improving Cloud Native Security, Author: Jimmy Ray
Title: Software Failure Risk: Measurement and Management, Author: Susan A. Sherer
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Ensuring Software Reliability, Author: Ann Marie Neufelder
Title: Designing Maintainable Software, Author: Dennis D. Smith
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
Title: Strategic Software Quality Management: How to Incorporate Sustainable Continuous Improvement Practices, Author: Mahsa Fidanboy

Pagination Links