Browsing by Author "Lifson, Farrel"
Now showing items 1-1 of 1
-
Specification and verification of systems using model checking and Markov reward models
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 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 ...