Interactive Markov Chains: The Quest for Quantified Quality by Holger Hermanns

Interactive Markov Chains: The Quest for Quantified Quality

Lecture Notes in Computer Science

Holger Hermanns

217 pages • missing pub info (view editions)

nonfiction computer science mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

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 ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...