Probabilistic model checking for discrete-time Markovian models
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
Datum
22 Okt. 2012 → 26 Okt. 2012
Beschreibung
Seminar
| Titel | ROCKS autumn school: Rigorous Dependability Analysis for Stochastic Systems |
|---|---|
| Kurztitel | ROCKS 2012 |
| Dauer | 22 - 26 Oktober 2012 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Abbazia di Novacella (Kloster Neustift) |
| Stadt | Vahrn |
| Land | Italien |