×

zbMATH — the first resource for mathematics

Found 26 Documents (Results 1–26)

100
MathJax
Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 117-155 (2014).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
all top 3
Software