Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Assistant Prof. Dipl.-Ing.in Dr.in techn.
Katalin Fazekas
Telefon
+43 1 58801 18409
E-Mail
katalin.fazekas@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
E056-26
Fachbereich Automated Reasoning
Visitenkarte
https://orcid.org/0000-0002-0497-3059
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Fachbereich Automated Reasoning
Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Automated Reasoning
Automated Reasoning
Software Verifikation
Software Verification
Formale Verifikation
Formal verification
Formal Methods
Formal Methods
Fachgebiete nach Statistik Austria
Code
Fachgebiet(Deutsch)
Fachgebiet(Englisch)
1122
Artificial Intelligence
Artificial intelligence
1111
Logik
Logic
1108
Informatik
Informatics
1141
Symbolic Computation
Symbolic computation
