Title: Communication Protocol Specification and Verification, Author: Richard Lai
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
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: Software Performability: From Concepts to Applications, Author: Ann T. Tai
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: High Integrity Software, Author: Victor L. Winter
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: 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: System Software Reliability, Author: Hoang Pham
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006, Author: Felix Redmill
Title: Definitions for Hardware and Software Safety Engineers, Author: M.J.P. van der Meulen

Pagination Links