Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Formale Analyse von Safety in modularen Roboter-Anwendungen
01.10.2019 - 30.09.2020
Research funding project
People
Project leader
Hermann Kaindl
(E384-01)
Institute
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
Research focus
Automation and Robotics: 30%
Computer Engineering and Software-Intensive Systems: 70%
Publications
Publications