On the conditions of guaranteed k-fault tolerant systems supporting on-the-fly repairs.

Soumya Banerjee Wenjing Rao

Published in: ICCD (2015)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
computer systems
complex systems
integrity constraints
high availability
high assurance
expert systems
sufficient conditions
state machine