Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Formale Analyse von Safety in modularen Roboter-Anwendungen
01.10.2019 - 30.09.2020
Forschungsförderungsprojekt
Personen
Projektleiter_in
Hermann Kaindl
(E384-01)
Institut
E384-01 - Forschungsbereich Software-intensive Systems
Förderungmittel
European Commission (EU)
H2020 I.4. INFRA Forschungsinfrastrukturen
Säule Wissenschaftsexzellenz
Rahmenprogramm Horizont 2020
Europäische Kommission
Ausschreibungskennung RobMoSys-SROC
Antragsnummer 732410
Forschungsschwerpunkte
Automation and Robotics: 30%
Computer Engineering and Software-Intensive Systems: 70%
Publikationen
Publikationsliste