The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.

John H. Wensley Milton W. Green Karl N. Levitt Robert E. Shostak

Published in: ICSE (1976)

Keyphrases

fault tolerant
fault tolerance
distributed systems
multi agent
object recognition
formal methods
database
fine grained
complex systems
safety critical
evolvable hardware