Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Pilch, Carina
Thesis (doctoral or post-doctoral)Details about the publication
Publisher: Universität Münster
Place of publication: Münster
Status: Published
Release year: 2021
Language in which the publication is written: English
Type of thesis: Dissertation thesis
University of graduation: Westfälische Wilhelms-Universität Münster
Graduation year: 2021
Thesis is written: monographic
Link to the full text: https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=idn%3D1246786974
Keywords: model checking, statistical model checking, time-bounded reachability analysis, hybrid petri nets
Authors from the University of Münster
| da Silva, Carina |