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:
DS-RT (2009)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
high assurance
safety critical
asynchronous circuits
load balancing
complex systems
expert systems
response time
intelligent systems
high availability
information systems
multi agent
knowledge based systems
state machine