Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Verification and Analysis for Safety and Security of Applications in Life
01.06.2024 - 31.05.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Rahel Falk
(E057-13)
Florian Zuleger
(E192-04)
Institut
E057-13 - Fachbereich European Innovation Services
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungmittel
European Commission (EU)
DESTINATION 1: IMPROVED ACCESS TO EXCELLENCE
Widening participation
WIDERA - Widening participation and strengthening the European Research Area
Rahmenprogramm HORIZON EUROPE
Europäische Kommission
Ausschreibungskennung HORIZON-CSA
Forschungsschwerpunkte
Logic and Computation: 50%
Computer Engineering and Software-Intensive Systems: 50%
Externe Partner_innen
Brno University of Technology
CEA Commissariat a l’energie atomiq et aux energies alternatives
Publikationen
Publikationsliste