SETTOFF: A fault tolerant flip-flop for building Cost-efficient Reliable Systems.

Yang Lin Mark Zwolinski

Published in: IOLTS (2012)

Keyphrases

fault tolerant
distributed systems
cost efficient
fault tolerance
safety critical
complex systems
high assurance
database systems
formal methods
state machine