Siirry suoraan sisältöön
Stochastic Model Checking
Tallenna

Stochastic Model Checking

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.
Alaotsikko
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Painos
2014 ed.
ISBN
9783662454886
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
31.10.2014
Sivumäärä
281