Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Automatische Amort. Ressourcenanalyse von Datenstrukturen
01.04.2023 - 31.03.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Florian Zuleger
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Logic and Computation: 100%
Externe Partner_innen
Georg Moser
Publikationen
Publikationsliste