Generalised Markovian analysis of timed transition systems
Bibliography: leaves 149-157. === This dissertation concerns. analytical methods for assessing the performance of concurrent systems. More specifically, it focuses on the efficient generation and solution of large Markov chains which are derived from models of unrestricted timed transition systems....
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
University of Cape Town
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11427/13525 |