Refinement Patterns for Fault Tolerant Systems.

Alexei Iliasov Alexander B. Romanovsky

Published in: EDCC (2008)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
high availability
complex systems
high assurance
data structure
state machine
intelligent systems
knowledge based systems
formal methods
sensor networks
interconnection networks
management system
digital libraries