Defect- and fault-tolerant static ram module designs based on parity checking and automatic testing.

Published in: Systems and Computers in Japan (1993)

Keyphrases

model checking
dynamic analysis
fault tolerant
fault tolerance
distributed systems
formal specification
state machine
high availability
load balancing
database
databases
fine grained
fault diagnosis
design considerations
data replication
mobile agent system