Details zur Publikation
Herausgeber*innen: Steffen 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
Buchtitel: Ausgezeichnete Informatikdissertationen 2021
Seitenbereich: 11-20
Verlag: Köllen
Erscheinungsort: Bonn
Titel der Reihe: Lecture Notes on Informatics
Nr. in Reihe: D-22
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Sprache, in der die Publikation verfasst ist: Deutsch
Stichwörter: Statistical Model Checking; Erreichbarkeitsanalyse; Hybride Petrinetze, Hybride Automaten