Formale Analyse von Safety in modularen Roboter-Anwendungen

01.10.2019 - 30.09.2020
Research funding project

People

Project leader

Institute

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