Skip to Main content Skip to Navigation

Search by documents



...
hal-01887899v1  Conference papers
Badr SialaJean-Paul BodeveixM 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
...
hal-01709119v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixM Filali. An Event-B Development Process for the Distributed BIP Framework
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. pp. 313-328