Formal Safety Analysis in Modular Robotic Applications

01.10.2019 - 30.09.2020
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

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

Forschungsschwerpunkte

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

Publikationen