Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
AutoTest
01.04.2020 - 31.03.2021
Forschungsförderungsprojekt
Personen
Projektleiter_in
Georg Weissenbacher
(E192-04)
Institut
E192-04 - Research Unit of Formal Methods in Systems Engineering
Grant funds
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Vienna Science and Technology Fund (WWTF)
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste