Thorsten Hummel
According to our database1,
Thorsten Hummel
authored at least 3 papers
between 2001 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
2001
2002
2003
2004
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
2002
Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002
2001
Der Einsatz von hybriden Petri-Netzen für den Entwurf gemischt analog-digitaler eingebetteter Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001