TU Berlin

Software and Embedded Systems EngineeringThomas Göthel

Inhalt des Dokuments

zur Navigation

Dr.-Ing. Thomas Göthel

: © privat

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

Arbeitsgebiete

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