Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Univ.Ass. Dipl.-Ing.
Ivana Bocevska
BSc
Telefon
E-Mail
ivana.bocevska@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
E056-26
Fachbereich Automated Reasoning
Visitenkarte
https://orcid.org/0009-0000-9984-995X
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Fachbereich Automated Reasoning
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Formal Methods
Formal Methods
Computational Logic
Computational Logic
Cybersecurity
Cybersecurity
Automated Reasoning
Automated Reasoning
Software Verifikation
Software Verification