Login / Signup
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Chih-Hong Cheng
Christian Buckl
Javier Esparza
Alois C. Knoll
Published in:
CoRR (2009)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
high assurance
safety critical
asynchronous circuits
load balancing
formal methods
complex systems
model checking
expert systems
intelligent systems
distributed database systems
modeling language
interconnection networks
state machine