|
中图分类法:
|
TP3 版次： |
|
题名:
|
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 /] / , |
|
版次:
|
1st edition. |
|
载体形态:
|
vii, 280 pages : illustrations ; 24 cm. |
|
内容提要:
|
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. |
|
主题词:
|
Stochastic models |
|
主题词:
|
Stochastic models. |
|
主要责任者:
|
Remke, Anne. |
|
主要责任者:
|
Stoelinga, Marie？lle. |
|
索书号:
|
1 |