1 changed files with 4 additions and 5 deletions
@ -1,13 +1,12 @@ |
|||||||
This project has supported research activities presented in the following conferences: |
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/ |
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 |
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/ |
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 |
* Paper: Jean-Paul Bodeveix, Arnaud Dieumegard and Mamoun Filali-Amine: Event-B Formalization of a Variability-Aware Component Model Patterns Framework |
Loading…
Reference in new issue