Search
Now showing items 1-3 of 3
Evaluation of Reward Analysis Methods with MRMSolve 2.0
(IEEE Computer Society Press, 2004)
A tool support for automatic analysis based on the tagged customer approach
(IEEE Computer Society Press, 2006)
Analysis of Second Order Markov Reward Models
(IEEE Computer Society Press, 2004)