3
Conference
Pierre Gaufillet edited this page 7 years ago
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