3

Conference

Pierre Gaufillet edited this page 2018-12-06 14:39:46 +00:00

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