Embedding fault-tolerant properties in the design of complex software systems

This publication has 16 references indexed in Scilit:

• Partial specifications and compositional verification
  Theoretical Computer Science, 1991
• Implementing design diversity to achieve fault tolerance
  IEEE Software, 1991
• Resourceful systems for fault tolerance, reliability, and safety
  ACM Computing Surveys, 1990
• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• Design and Analysis of Fault-Tolerant Systems for Industrial Applications
  Published by Springer Nature ,1989
• Safety Analysis Using Petri Nets
  IEEE Transactions on Software Engineering, 1987
• Software safety: why, what, and how
  ACM Computing Surveys, 1986
• Fault-Tolerant Computing—Concepts and Examples
  IEEE Transactions on Computers, 1984
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976
• Fuzzy sets
  Information and Control, 1965