Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns, Author: Said Hamdioui
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Author: Nachum Dershowitz
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
Title: 21 CFR Part 11: Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry, Author: Orlando López
Title: Debugging by Thinking: A Multidisciplinary Approach, Author: Robert Charles Metzger
Title: A Practitioner's Guide to Software Test Design, Author: Lee Copeland
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
Title: Testing And Quality Assurance For Component-Based Software, Author: Jerry Gao
Title: Software Maintenance: Concepts And Practice (Second Edition), Author: Penny Grubb
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
Title: Practical Software Testing: A Process-Oriented Approach, Author: Ilene Burnstein
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
Title: Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema, Author: Sira Vegas
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Practical Guide To Software Quality Management, Author: John W. Horch
Title: Successful Evolution of Software Systems, Author: Hongji Yang
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore

Pagination Links