Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures: 8453
Descubre las últimas metodologías de verificación estocástica aplicadas a sistemas complejos, con ejemplos detallados y teoría rigurosa que facilita la comprensión de modelos probabilísticos avanzados.