Publications de
Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B development process for the distributed BIP framework
Dans : FAC, Toulouse, 30/03/16-31/03/16.
Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B Development Process for the Distributed BIP Framework. (regular paper)
Dans : International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo Japan, 14/11/16-18/11/16, Vol. 10009, Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Springer-Verlag, Lecture Notes in Computer Science 10009, p. 313-328, novembre 2016.
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
Un processus de développement Event-B pour des applications distribuées (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016), Besançon, 07/06/16-08/06/16, Université de Franche-Comté, (en ligne), juin 2016.
Accès : http://afadl2016.conf.citi-lab.fr/ – https://oatao.univ-toulouse.fr/17057/
BibTeX