T. Paul Roth, Willard G. Bouricius, et al.
IEEE Transactions on Electronic Computers
Paper
Reliability Modeling for Fault-Tolerant Computers
Abstract
Reliability modeling and the mathematical equations involved are discussed for general computer systems organized to be fault tolerant. This paper summarizes the work done over the last four years on mathematical reliability modeling by the authors. Copyright © 1971 by The Institute of Electrical and Electronics Engineers, Inc.
Related
W.C. Carter, D.C. Jessep, et al.
IEEE TC
Willard G. Bouricius, William C. Carter, et al.
IEEE TC
Conference paper
Automated proofs of microprogram correctness
W.H. Joyner, W.C. Carter, et al.
MICRO Annual Workshop 1976