Deutsch
Index A-Z
Desktop
Data Privacy
Software and Embedded Systems Engineering
Thomas 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
Teaching
Bachelor and Master Theses
Publications
Projects