Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Univ.Ass. Dipl.-Ing.
Thomas Hader
BSc BSc
Telefon
+43 1 58801 192420
E-Mail
thomas.hader@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
Visitenkarte
https://orcid.org/0009-0002-8920-5469
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Formal Methods
Formal Methods
Software Verifikation
Software Verification
theorem proving
theorem proving
Computational Logic
Computational Logic
Computer Algebra
computer algebra
Automated Reasoning
Automated Reasoning
Formale Methoden
Formal Methods