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
Univ.Prof. Dr. Ezio Bartocci
(E191-01)
Subprojektleiter_in
Projektass. Michele Chiari PhD
(E191-01)
Institut
E191-01 - Forschungsbereich Cyber-Physical Systems
Förderungsmittel
European Commission (EU)
Forschungsschwerpunkte
Computational Science and Engineering
Information and Communication Technology