Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali. Un processus de développement Event-B pour des applications distribuées.
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100.
⟨hal-01500510⟩