Login / Signup
Thorsten Hummel
Publication Activity (10 Years)
Years Active: 2001-2004
Publications (10 Years): 0
</>
Publications
</>
Vesselka Duridanova
,
Thorsten Hummel
,
Olga Fengler
,
Wolfgang Fengler
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.
MBMV
(2004)
Olga Fengler
,
Thorsten Hummel
,
Wolfgang Fengler
Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen.
MBMV
(2002)
Thorsten Hummel
Der Einsatz von hybriden Petri-Netzen für den Entwurf gemischt analog-digitaler eingebetteter Systeme.
MBMV (2)
(2001)