Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 07/10/2021
Status: completed
Candidate: da Silva, Carina
Doctoral subject: Informatik
Doctoral degree: Dr. rer. nat.
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Remke, Anne
Promovend*in an der Universität Münster
| da Silva, Carina | Institute of Computer Science |
Supervision at the University of Münster
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |