|
||
---|---|---|
hal-02181895v1
Conference papers
Event-B Formalization of a Variability-Aware Component Model Patterns Framework 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74 |
||
|