Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings, Author: Andreas Riel
Title: Software Quality Assurance: Integrating Testing, Security, and Audit / Edition 1, Author: Abu Sayed Mahfuz
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson
Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia

Pagination Links