SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs
da Silva, Carina
Research article (book contribution)Details about the publication
Editors: 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
Book title: Ausgezeichnete Informatikdissertationen 2021
Page range: 11-20
Publisher: Köllen
Place of publication: Bonn
Title of series: Lecture Notes on Informatics
Volume of series: D-22
Status: Published
Release year: 2022
Language in which the publication is written: German
Link to the full text: https://dl.gi.de/items/6fa81e84-4646-46e4-b548-a1ba8f738570
Keywords: Statistical Model Checking; Erreichbarkeitsanalyse; Hybride Petrinetze, Hybride Automaten
Authors from the University of Münster
| da Silva, Carina |