Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems /
Remke, Anne
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga - Heidelberg : Springer, 2014. - vii, 280 p. : ill. ; 23 cm.
Including reference and index.
9783662454886
Stochastic models
Software engineering
Logic design
003.76 / REM/S
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga - Heidelberg : Springer, 2014. - vii, 280 p. : ill. ; 23 cm.
Including reference and index.
9783662454886
Stochastic models
Software engineering
Logic design
003.76 / REM/S