TU Berlin

Software and Embedded Systems EngineeringThomas Göthel

Page Content

to Navigation

Dr.-Ing. Thomas Göthel

: © privat

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