Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
Title: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, Author: Johann Blieberger
Title: Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings, Author: Jyrki Kontio
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
Title: Managing the Change: Software Configuration and Change Management: Software Best Practice 2, Author: Michael Haug
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings, Author: Klaus Havelund
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
Title: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, Author: Debra S. Herrmann
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998, Author: John Hatcliff
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Author: Dennis Dams
Title: Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, Author: Michael Gonzalez Harbour

Pagination Links