OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Bhiri, Tahar"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Siala, Badr and Bodeveix, Jean-Paul and Filali, Mamoun and Bhiri, Tahar. Automatic Refinement for Event-B through Annotated Patterns. (2017) In: 25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), 6 March 2017 - 8 March 2017 (Saint Petersburg, Russian Federation).

Siala, Badr and Bhiri, Tahar and Bodeveix, Jean-Paul and Filali, Mamoun. An Event-B Development Process for the Distributed BIP Framework. (2016) In: 18th International Conference on Formal Engineering Methods (ICFEM 2016), 14 November 2016 - 18 November 2016 (Tokyo, Japan).

This list was generated on Wed Aug 12 17:24:50 2020 CEST.