Fault Tolerant Insertion and Verification: A Case Study.

Alberto Manzone Diego De Costantini

Published in: MTDT (2002)

Keyphrases

fault tolerant
fault tolerance
distributed systems
high assurance
load balancing
model checking
case study
test bed
state machine
high availability
safety critical
software engineering
response time
qualitative and quantitative