From ac7c95d143d1611a5a5988b398601227faf736b7 Mon Sep 17 00:00:00 2001 From: Pierre Gaufillet Date: Thu, 6 Dec 2018 14:39:46 +0000 Subject: [PATCH] Update Conference --- Conference.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/Conference.md b/Conference.md index aa9adda..23e54fa 100644 --- a/Conference.md +++ b/Conference.md @@ -1,13 +1,12 @@ This project has supported research activities presented in the following conferences: -ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems +* 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 +* 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 +* 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 +* 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