Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
COntext-free model checking for Recursive PrObabilistic pRogrAms
01.09.2023 - 31.08.2025
Forschungsförderungsprojekt
Personen
Projektleiter_in
Ezio Bartocci
(E191-01)
Subprojektleiter_in
Michele Chiari
(E191-01)
Institut
E191-01 - Forschungsbereich Cyber-Physical Systems
Förderungsmittel
European Commission (EU)
MSCA-Postdoctoral European Fellowships
Marie Skłodowska-Curie Actions (MSCA)
HORIZON I - Herausragende Wissenschaft
Rahmenprogramm HORIZON EUROPE
Europäische Kommission
Ausschreibungskennung HORIZON-MSCA-2022-PF-01
Forschungsschwerpunkte
Computational Science and Engineering
Information and Communication Technology
Publikationen
Publikationsliste