OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Siala, Badr"

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

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).

Siala, Badr and Tahar Bhiri, Mohamed and Bodeveix, Jean-Paul and Filali, Mamoun. Un processus de développement Event-B pour des applications distribuées. (2016) In: 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, 7 June 2016 - 8 June 2016 (Besançon, France).

This list was generated on Sat Sep 18 18:32:46 2021 CEST.