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.