Interactive Markov Chains The Quest for Quantified Quality / by Holger Hermanns.
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...
Full description
Saved in: