Refinement of Fault Tolerant Control Systems in B.

Linas Laibinis Elena Troubitsyna

Published in: SAFECOMP (2004)

Keyphrases

fault tolerant
control system
fault tolerance
distributed systems
high availability
real time
state machine
safety critical
database
load balancing
interconnection networks
fuzzy logic
digital libraries
sensor networks
qualitative and quantitative
data replication