Login / Signup

Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.

Ermeson C. AndradeFumio MachidaDong Seong KimKishor S. Trivedi
Published in: ARES (2011)
Keyphrases
  • modeling language
  • reinforcement learning
  • stochastic models
  • long run
  • formal methods
  • safety analysis