Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" (ROCKS)
Grunddaten zu diesem Projekt
Art des Projektes: Wissenschaftliche Veranstaltung
Laufzeit an der Universität Münster: 25.09.2017 - 26.09.2017
Beschreibung
Stichwörter: Informatik; Stochastik; Model Checking
Mittelgeber / Förderformat:
- Teilnahmebeiträge/Tagungsgebühren
Projektleitung der Universität Münster
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |
Antragsteller*innen der Universität Münster
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |