Skip to Main content Skip to Navigation


...
hal-02181895v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardMamoun Filali. 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
...
hal-01708993v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardMamoun Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France