Thorsten Hummel

According to our database, Thorsten Hummel authored at least 3 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2004

Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.

Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2002

Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen.

Olga Fengler, Thorsten Hummel, Wolfgang Fengler

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.

Thorsten Hummel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001