Fault Tolerant Insertion and Verification: A Case Study.

Alberto Manzone Diego De Costantini

Published in: IOLTW (2002)

Keyphrases

fault tolerant
fault tolerance
distributed systems
high assurance
model checking
case study
load balancing
safety critical
state machine
expert systems
source code
test bed
fault isolation