Page Content
[1]Research Fields
- cyber-physical systems
- self-adaptive and real-time systems
- model-driven development
- formal verification
- model checking, refinement checking, theorem proving
Contact
Thomas Göthel+49 (30) 314 - 73451
Contact Hours: Tuesday, 16:00 - 17:00
Room TEL 1003
e-mail query [6]
Postal Address
Technische Universität BerlinFachgebiet Software and
Embedded Systems Engineering
sec. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
en/Team/Foto_ThomasG.png
rmer_group_members/thomas_goethel/teaching/parameter/en
/maxhilfe/
rmer_group_members/thomas_goethel/bachelor_and_master_t
heses/parameter/en/maxhilfe/
rmer_group_members/thomas_goethel/publications/paramete
r/en/maxhilfe/
rmer_group_members/thomas_goethel/projects/parameter/en
/maxhilfe/
parameter/en/maxhilfe/id/55599/?no_cache=1&ask_mail
=YraKPQAGq8ApcLlioOn8SZNqwDfQYhFLBLQc6KpzlB9K17aHTd3rRA
%3D%3D&ask_name=Thomas%20G%C3%B6thel
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
- Font size:
Copyright TU Berlin 2008