TU Berlin

Software and Embedded Systems EngineeringThomas Göthel

SESE-Logo in blau

Page Content

to Navigation

Dr.-Ing. Thomas Göthel

Lupe

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


Research Fields

  • cyber-physical systems
  • self-adaptive and real-time systems
  • model-driven development
  • formal verification
  • model checking, refinement checking, theorem proving

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe