Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-2 di 2

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

Risultati 1-2 di 2