SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs

da Silva, Carina

Forschungsartikel (Buchbeitrag) | Peer reviewed

Details zur Publikation

Herausgeber*innenSteffen Hölldobler, Steffen; Reischuk, Rüdiger; Apel, Sven; Bernstein, Abraham; Freiling, Felix C.; Lenhof, Hans-Peter; Neumann, Gustaf; Römer, Kay Uwe; Scheuermann, Björn; Schweikardt, Nicole; Wehrle, Klaus
BuchtitelAusgezeichnete Informatikdissertationen 2021
Seitenbereich11-20
VerlagKöllen
ErscheinungsortBonn
Titel der ReiheLecture Notes on Informatics
Nr. in ReiheD-22
StatusVeröffentlicht
Veröffentlichungsjahr2022
Sprache, in der die Publikation verfasst istDeutsch
Link zum Volltexthttps://dl.gi.de/items/6fa81e84-4646-46e4-b548-a1ba8f738570
StichwörterStatistical Model Checking; Erreichbarkeitsanalyse; Hybride Petrinetze, Hybride Automaten

Autor*innen der Universität Münster

da Silva, Carina
Institut für Informatik