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.
Clemens Eisenhofer
BSc
Phone
E-Mail
clemens.eisenhofer@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
Business Card
https://orcid.org/0000-0003-0339-1580
Affiliations
Keywords
Research area
Name
Management/Member
Research Unit of Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
Constraint Erfüllung
Constraint Satisfaction Problems
Automatisches Beweisen
Automatic Theorem Proving
Computationale Logik
Computational Logic
Cybersecurity
Cybersecurity
Automated Reasoning
Automated Reasoning
Formal Methods
Formal Methods
