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: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2002.
|
Series: | Lecture notes in computer science ;
2428. |
Subjects: |