Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Projektass.(FWF)
Filip Stevanovic
MSc
Telefon
E-Mail
filip.stevanovic@tuwien.ac.at
Zugeordnet
E192-04
Research Unit of Formal Methods in Systems Engineering
E056-26
Service Unit of Automated Reasoning
Visitenkarte
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Research Unit of Formal Methods in Systems Engineering
Mitglied
Service Unit of Automated Reasoning
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Computational Logic
Computational Logic
Formal Methods
Formal Methods
Fachgebiete nach Statistik Austria
Code
Fachgebiet(Deutsch)
Fachgebiet(Englisch)
1108
Informatik
Informatics