A Synthesis Tool for Fault-Tolerant Finite State Machines.

Régis Leveugle Raphaël Rochet Gabriele Saucier L. Martinez C. Pitot

Published in: FTCS (1993)

Keyphrases

fault tolerant
finite state machines
state machine
fault tolerance
distributed systems
finite state automata
model checking
load balancing
high availability
functional decomposition
hidden markov models
digital circuits
databases
safety critical
interconnection networks