Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Pilch, Carina
Qualifikationsschrift (Dissertation, Habilitationsschrift)Details zur Publikation
Verlag: Universität Münster
Erscheinungsort: Münster
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Art der Qualifikationsschrift: Dissertationsschrift
Abschlusshochschule: Westfälische Wilhelms-Universität Münster
Abschlussjahr: 2021
Form der Qualifikationsschrift: monographisch
Link zum Volltext: https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=idn%3D1246786974
Stichwörter: model checking, statistical model checking, time-bounded reachability analysis, hybrid petri nets
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |