Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Pilch, Carina
Thesis (doctoral or post-doctoral) | Peer reviewedDetails about the publication
Publishing company: 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 | Professorship for practical computer science (Prof. Remke) |