Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Univ.Ass. Dipl.-Ing.
Thomas Hader
BSc BSc
Phone
+43 1 58801 192420
E-Mail
thomas.hader@tuwien.ac.at
Assigned
E192-04
Forschungsbereich Formal Methods in Systems Engineering
Business Card
https://orcid.org/0009-0002-8920-5469
Affiliations
Keywords
Research area
Name
Management/Member
Forschungsbereich Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
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
