Sign in
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
Gianfranco Ciardo
Jogesh K. Muppala
Kishor S. Trivedi
Published in:
J. Parallel Distributed Comput. (1992)
Keyphrases
</>
fault tolerant
fault tolerance
safety critical
distributed systems
high assurance
load balancing
software systems
reinforcement learning
high availability
source code
software development
state machine
artificial intelligence
software testing