2 results  save search


...
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-01887899v1  Conference papers
Badr SialaJean-Paul BodeveixMamoun FilaliTahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns
25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp. 287-290