From 3c77eb4ec99d3b417f44b764b12dd4af3fdf6252 Mon Sep 17 00:00:00 2001 From: Pierre Virelizier Date: Thu, 6 Dec 2018 09:44:34 +0000 Subject: [PATCH] Pierre_Virelizier created page: Conference --- Conference.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 Conference.md diff --git a/Conference.md b/Conference.md new file mode 100644 index 0000000..e04792e --- /dev/null +++ b/Conference.md @@ -0,0 +1,12 @@ +This project has supported research activities presented in the following conferences: + +ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems + +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 \ No newline at end of file