direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Thomas Göthel

Lupe [1]

Email: thomas.goethel(at)tu-berlin.de

Raum: TEL 1003
Telefon: +49 (30) 314 - 73451
Fax: +49 (30) 314 - 78866

Sprechstunde: Dienstag 16:00 - 17:00 Uhr

Arbeitsgebiete

  • Modellierung und formale Verifikation von Echtzeitsystemen
  • Theorembeweisen, Model Checking
  • Lehre [2]
  • Bachelor- und Masterarbeiten [3]
  • Veröffentlichungen [4]
  • Projekte [5]

Kontakt

Thomas Göthel
314 - 73451
Sprechstunde: Di 16:00-17:00 Uhr
Raum TEL 1003
E-Mail-Anfrage [6]

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008