Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, Author: Rune Winther
Title: Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, Author: Albert Llamosi
Title: Designing Maintainable Software, Author: Dennis D. Smith
Title: Software Testing in the Cloud: Migration and Execution, Author: Scott Tilley
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, Author: Shmuel Ur
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996, Author: Erwin Schoitsch
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
Title: Software Reliability Methods, Author: Doron A. Peled
Title: Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, Author: Jürgen Münch
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy

Pagination Links