Section: Partnerships and Cooperations

Regional Initiatives

PEC – Pôle d'Excellence Cyber

• Coordinator: Université de Rennes 1

• Dates: 2016-2019

• Abstract: Formal and Executable Specification of domain-specific language families.