Using executable assertions for testing and fault tolerance, Proc. 9th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-9, pp.102-105, 1979. ,
, AIAA/IEE 6th Digital Avionics Systems Conf, vol.85, pp.346-351, 1984.
Software fault tolerance: an evaluation, IEEE Trans. on Software Engineering, vol.88, issue.11, pp.1502-1510, 1985. ,
Dependability evaluation of software fault-tolerance, Proc. 18th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-18), vol.73, pp.142-147, 1988. ,
The concept of coverage and its effect on the reliability model of repairable systems, Proc. 17th, vol.87, pp.251-254, 1973. ,
, Towards a discipline of reliable computing, IEEE Int. Symp. on Fault Tolerant Computing (FTCS-17), vol.83, pp.701-705, 1979.
A Specification-oriented multi-version Software Experiment, Proc. 13th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-13), pp.120-126, 1983. ,
Fault tolerance by design diversity: concepts and experiments, Avi 85 A. Avizienis, vol.17, pp.1491-1501, 1984. ,
Dependable computing: from concepts to design diversity, Boe 81 B.W. Boehm, Software engineering economics, vol.74, p.69, 1981. ,
Reliability modeling techniques for selfrepairing computer systems, Proc. 24th National Conference, vol.28, pp.225-309, 1969. ,
, Encyclopedia of Software Engineering, vol.1, pp.482-503, 1994.
, Cag 85
Systems approach to software fault tolerance, Proc. 5th AIAA Computers in Aerospace Conf, vol.81, pp.361-369, 1985. ,
An experimental evaluation of software redundancy as a strategy for improving reliability, Proc. 8th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-8), vol.17, pp.79-83, 1972. ,
Distinct software: an approach to reliable computing, Proc. 2nd USA-Japan Computer Conf, vol.81, pp.573-579, 1975. ,
The 'bug' heard around the world, ACM Sigsoft Software Engineering notes, vol.6, issue.5, pp.3-10, 1981. ,
A census of Tandem system availability between 1985 and 1990, Proc. 5th Symp. on Reliability in Distributed Software and Database Systems, vol.39, pp.409-418, 1986. ,
Software diversity in reactor protection systems: an experiment, Proc. 1st Int. Workshop on Safety of Computer Control Systems (SAFECOMP'79), pp.75-79 ,
, Application of design diversity in computerized control systems (Proceedings of the IFIP WG, vol.10
, of the Series on Dependable Computing and Fault Tolerance, vol.2, pp.11-21, 1986.
A Large Scale Generation Experiment in Multi-version Software: Description and early results, Proc. 18th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-18), vol.84, pp.9-14, 1988. ,
Distibuted execution of recovery blocks; an approach to uniform treatment of hardware and software faults, Proc. 4th Int. Conf. on Distributed Computing Systems, vol.89, pp.526-532, 1984. ,
Distibuted execution of recovery blocks; an approach for uniform treatment of hardware and software faults in real-time applications, Proc. 15th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-15), vol.38, pp.135-139, 1985. ,
, Proc. 16th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-16), vol.88, pp.165-170, 1986.
Hardware-and software-fault tolerance: definition and analysis of architectural solutions, Hardware and software fault tolerance: a unified architectural approach, pp.444-451, 1987. ,
Dissimilar software in high integrity applications in flight controls, Proceedings AGARD CP-330, vol.86, pp.36-37, 1982. ,
On hierarchical design of computer systems for critical applications, IEEE Transactions on Software Engineering, issue.9, pp.905-920, 1986. ,
System structure for software fault tolerance, Proc. 4th Jerusalem Conf. on Information Technomogy (JCIT-4), vol.1, pp.182-191, 1975. ,
DOI : 10.1007/978-3-642-82470-8_4
Design fault tolerance, Proc. IFIP Symp. on The Evolution of Fault Tolerant Computing, vol.82, pp.110-121, 1986. ,
Methodology for software development of a digital integrated protection system, vol.19, p.p, 1982. ,