TU Berlin

Software and Embedded Systems EngineeringThomas Göthel

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Dr.-Ing. Thomas Göthel

Lupe

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

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe