Probabilistic model checking for discrete-time Markovian models
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
22 Oct 2012 → 26 Oct 2012
Description
Seminar
| Title | ROCKS autumn school: Rigorous Dependability Analysis for Stochastic Systems |
|---|---|
| Abbreviated title | ROCKS 2012 |
| Duration | 22 - 26 October 2012 |
| Degree of recognition | International event |
| Location | Abbazia di Novacella (Kloster Neustift) |
| City | Vahrn |
| Country | Italy |