Formal Safety Analysis in Modular Robotic Applications

01.10.2019 - 30.09.2020
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) H2020 I.4. INFRA Research Infrastructures Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier RobMoSys-SROC Application number 732410

Research focus

  • Automation and Robotics: 30%
  • Computer Engineering and Software-Intensive Systems: 70%

Publications