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: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
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: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Software Testing: ., Author: S. Koirala
Title: Systems and Software Verification: Model-Checking Techniques and Tools, 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, Author: Jasveer Singh
Title: Testing Object-Oriented Software, Author: David C. Kung
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
Title: Intelligent Crowdsourced Testing, Author: Qing Wang
Title: Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security, Author: Peter Daniel
Title: Software Quality Management VI: Quality Improvement Issues, Author: Chris Hawkins
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz

Pagination Links