Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraum: bis 07.10.2021
Status: abgeschlossen
Promovend*in: da Silva, Carina
Promotionsfach: Informatik
Abschlussgrad: Dr. rer. nat.
Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik
Betreuer*innen: Remke, Anne
Promovend*in an der Universität Münster
| da Silva, Carina | Institut für Informatik |
Betreuung an der Universität Münster
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |