Sign in
Automatic Verification of Fault-Tolerant Register Emulations.
Paul C. Attie
Hana Chockler
Published in:
INFINITY (2005)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
high availability
load balancing
safety critical
state machine
distributed environment