Login / Signup
Melanie Haustein
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Discrete Event
Multi Agent
Timed Petri Nets
Mathematical Modeling
Top Venues
PNSE@Petri Nets
</>
Publications
</>
José Ignacio Requeno
,
Elena Gómez-Martínez
,
Hannes Kallwies
,
Melanie Haustein
,
Martin Leucker
,
Volker Stolz
,
Patrick Stünkel
Runtime Verification of Timed Petri Nets.
PNSE@Petri Nets
(2024)