acm.org
computer.org
sci-hub.se 参考文章(7)
L. Gmeiner, U. Voges, Software Diversity in Reactor Protection Systems: An Experment IFAC Proceedings Volumes. ,vol. 12, pp. 75- 79 ,(1979) , 10.1016/S1474-6670(17)65875-0
Jack Goldberg, SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control. ifip congress. pp. 151- 156 ,(1980)
John V. Guttag, James J. Horning, An Introduction to the Larch Shared Language. ifip congress. pp. 809- 814 ,(1983)
J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, SIFT: Design and analysis of a fault-tolerant computer for aircraft control Proceedings of the IEEE. ,vol. 66, pp. 1240- 1255 ,(1978) , 10.1109/PROC.1978.11114
T. Anderson, J.C. Knight, A Framework for Software Fault Tolerance in Real-Time Systems IEEE Transactions on Software Engineering. ,vol. SE-9, pp. 355- 364 ,(1983) , 10.1109/TSE.1983.237017
G. Popek, B. Walker, J. Chow, D. Edwards, C. Kline, G. Rudisin, G. Thiel, LOCUS a network transparent, high reliability distributed system ACM SIGOPS Operating Systems Review. ,vol. 15, pp. 169- 177 ,(1981) , 10.1145/1067627.806605
Cristian, Exception Handling and Software Fault Tolerance IEEE Transactions on Computers. ,vol. 31, pp. 531- 540 ,(1982) , 10.1109/TC.1982.1676035