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: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. Lïpez
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Mutation Testing for the New Century, Author: W. Eric Wong
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
Title: Software Testing: Interview Questions, Author: S. Koirala
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, Author: Debra S. Herrmann
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication / Edition 1, Author: Jasveer Singh
Title: Managing Software Quality and Business Risk / Edition 1, Author: Martyn A. Ould
Title: Software Quality Assurance: In Large Scale and Complex Software-intensive Systems, Author: Ivan Mistrik
Title: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
Title: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools, Author: D.J. Smith
Title: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, Author: Felix Redmill
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
Title: Life Cycle Management For Dependability, Author: Felix Redmill
Title: Definitions for Hardware and Software Safety Engineers, Author: M.J.P. van der Meulen
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu

Pagination Links