EU

SESAME (June 2023 - Jan 2024)
SESAME: Secure and Safe Multi-Robot Systems is a Horizon2020 project. It is a project associated with the Automated Software Engineering (ASE) group.
SESAME (June 2023 - Jan 2024)
INTO-CPS (Dec 2016 - Dec 2017)
INTO-CPS (Integrated Tool Chain for Model-based Design of Cyber-Physical Systems) is a EU Horizon 2020 project, from 2015 to 2017. Please see http://into-cps.org/about-the-project/ for more information about this project.
INTO-CPS (Dec 2016 - Dec 2017)