Invariant-Based Synthesis of Fault-Tolerant Systems.

Kevin Lano David Clark Kelly Androutsopoulos Pauline Kan

Published in: FTRTFT (2000)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
high assurance
management system
load balancing
interconnection networks
database
low cost
intelligent systems
affine transformation
high availability
state machine