Ermeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi. Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 161-168, IEEE, 2011. [doi]
Abstract is missing.