Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Distribution Recovery for Invariant Generation of Probabilistic Programs
01.12.2019 - 30.04.2025
Forschungsförderungsprojekt
Personen
Projektleiter_in
Ezio Bartocci
(E191-01)
Efstathia Bura
(E105-08)
Laura Kovacs
(E192-04)
Subprojektmanager_innen
Sonja Rees
(E191-01)
Institut
E105-08 - Forschungsbereich Angewandte Statistik
E191-01 - Forschungsbereich Cyber-Physical Systems
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Informations- und Kommunikationstechnologien
Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)
Forschungsschwerpunkte
Computational Science and Engineering
Information and Communication Technology
Publikationen
Publikationsliste