Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
Title: Manage Software Testing, Author: Peter Farrell-Vinay
Title: 21 CFR Part 11: Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry, Author: Orlando López
Title: Software Performability: From Concepts to Applications / Edition 1, Author: Ann T. Tai
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
Title: Handbook of Software Quality Assurance, Author: G. Gordon Schulmeyer
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed. / Edition 2, Author: Steven R. Rakitin
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Software Complexity: Measures and Methods, Author: Horst Zuse
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
Title: High Integrity Software / Edition 1, Author: Victor L. Winter
Title: Software Reliability Handbook / Edition 1, Author: Rook
Title: Software Quality Control, Error, Analysis, Author: Judith Clapp
Title: Software Testing: Testing Across the Entire Software Development Life Cycle / Edition 1, Author: Gerald D. Everett
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan

Pagination Links