commit
3c77eb4ec9
1 changed files with 12 additions and 0 deletions
@ -0,0 +1,12 @@
@@ -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 |
Loading…
Reference in new issue