Interactive Markov chains and the quest for quantified quality /
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Based on principles known from process algebra, the author systematically deve...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2002]
|
| Series: | Lecture notes in computer science ;
2428. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
