Login / Signup
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
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
high availability
intelligent systems
load balancing
multi agent
multi agent systems
response time
complex systems
formal methods
asynchronous circuits
state machine