C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.
Ermeson C. Andrade
Fumio Machida
Dong Seong Kim
Kishor S. Trivedi
Published in:
ARES (2011)
Keyphrases
</>
modeling language
reinforcement learning
stochastic models
long run
formal methods
safety analysis