Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, Author: Debra S. Herrmann
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
Title: Software Testing: ., Author: S. Koirala
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
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: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece, Author: Dimitris Gritzalis
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
Title: High Integrity Software, Author: Victor L. Winter
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
Title: Communication Protocol Specification and Verification, Author: Richard Lai

Pagination Links