Tom Barthel

According to our database, Tom Barthel authored at least 2 papers in 1999.

Collaborative distances:

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

1999

Eine Methode zur Spezifikationserfassung heterogener Systeme.

Tom Barthel

PhD thesis, 1999

Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme.

Tom Barthel, Dietmar Müller, Jan Pauliuk

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