Title: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
Title: Agile Testing: How to Succeed in an Extreme Testing Environment, Author: John Watkins
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1, Author: Felix Redmill
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Edition 1, Author: Nachum Dershowitz
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
Title: Mathematical Approaches to Software Quality / Edition 1, Author: Gerard O'Regan
Title: Mathematical Approaches to Software Quality / Edition 1, Author: Gerard O'Regan
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
Title: System Software Reliability / Edition 1, Author: Hoang Pham
Title: Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema / Edition 1, Author: Sira Vegas
Title: Methods and Procedures for the Verification and Validation of Artificial Neural Networks / Edition 1, Author: Brian J. Taylor
Title: ISO 9000-3: A Tool for Software Product and Process Improvement / Edition 1, Author: Raymond Kehoe
Title: System-level Test and Validation of Hardware/Software Systems / Edition 1, Author: Matteo Sonza Reorda
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns / Edition 1, Author: Said Hamdioui
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes / Edition 1, Author: Fabian Wolf
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed. / Edition 2, Author: Steven R. Rakitin

Pagination Links