Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, Author: Lars Asplund
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
Title: Software Quality Management VI: Quality Improvement Issues, Author: Chris Hawkins
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
Title: Software Engineering: A Methodical Approach, Author: Elvis Foster
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: Quarkus in Action, Author: Martin Stefanko
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings, Author: David Kaeli
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Communication Protocol Specification and Verification, Author: Richard Lai
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
Title: Software Failure Risk: Measurement and Management, Author: Susan A. Sherer
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson

Pagination Links