Remke, Anne <br/><br/>
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. 
<br/><br/>Including reference and index. 
<br/><br/><label>ISBN: </label>9783662454886 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Stochastic models<br/>Software engineering<br/>Logic design
<br/><br/><label>Dewey Class. No.: </label>003.76  / REM/S