Search
Now showing items 1-1 of 1
Specification and verification of systems using model checking and Markov reward models
(2004)
This thesis examines Markov reward models, a formalism based on continuous time Markov chains, and it's usage in the generation and analysis of service levels. The particular solution technique we employ in this thesis is ...