This project has supported research activities presented in the following conferences:
ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems https://www.erts2018.org/
Paper: Jean-Paul Bodeveix, Arnaud Dieumegard and Mamoun Filali-Amine: Pattern-based requirements development https://www.erts2018.org/uploads/program/ERTS_2018_paper_43.pdf
FACS 2018: 15th International Conference on Formal Aspects of Component Software http://sevlab.postech.ac.kr/facs18/
Paper: Jean-Paul Bodeveix, Arnaud Dieumegard and Mamoun Filali-Amine: Event-B Formalization of a Variability-Aware Component Model Patterns Framework