direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Thomas Göthel

Lupe

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


Arbeitsgebiete

  • Cyber-physische Systeme
  • Selbstadaptive Systeme und Echtzeitsysteme
  • Modellgetriebene Entwicklung
  • Formale Verifikation
  • Model Checking, Refinement Checking, Theorembeweisen

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Kontakt

Thomas Göthel
314 - 73451
Sprechstunde: Di 16:00-17:00 Uhr
Raum TEL 1003

Postanschrift

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