• 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. AndradeFumio MachidaDong Seong KimKishor S. Trivedi
Published in: ARES (2011)
Keyphrases
  • modeling language
  • reinforcement learning
  • stochastic models
  • long run
  • formal methods
  • safety analysis