A Case Study in Fault Tolerant Software.

James P. Black David J. Taylor David E. Morgan

Published in: Softw. Pract. Exp. (1981)

Keyphrases

fault tolerant
fault tolerance
safety critical
distributed systems
load balancing
high assurance
high availability
software systems
state machine
case study
software development
digital libraries
test cases
computer systems
peer to peer
modeling language
low cost
interconnection networks
user interface