Siirry suoraan sisältöön
Interactive Markov Chains
Tallenna

Interactive Markov Chains

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.
Alaotsikko
The Quest for Quantified Quality
Kirjailija
Holger Hermanns
Painos
2002 ed.
ISBN
9783540442615
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
11.9.2002
Sivumäärä
217