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

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

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe