Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
Title: Software Defect and Operational Profile Modeling / Edition 1, Author: Kai-Yuan Cai
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
Title: Software Reliability and Metrics / Edition 1, Author: N. Fenton
Title: Software Reliability Handbook / Edition 1, Author: Rook
Title: Fundamentals of Software Testing / Edition 1, Author: Bernard Homès
Title: Software Quality Assurance: Integrating Testing, Security, and Audit / Edition 1, Author: Abu Sayed Mahfuz
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
Title: Introduction to Fuzzy Reliability / Edition 1, Author: Kai-Yuan Cai
Title: Software-Implemented Hardware Fault Tolerance / Edition 1, Author: Olga Goloubeva
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
Title: Open Verification Methodology Cookbook / Edition 1, Author: Mark Glasser
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez

Pagination Links