direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Thomas Göthel

Lupe

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

Room: TEL 1003
Tel: +49 (30) 314 - 73451
Fax: +49 (30) 314 - 78866

Contact Hours: Tuesday 16:00 - 17:00

Research Fields

  • Modeling and formal verification of real-time systems
  • Theorem proving, model checking

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Contact

Thomas Göthel
+49 (30) 314 - 73451
Contact Hours: Tuesday, 16:00 - 17:00
Room TEL 1003

Postal Address

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