Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Tahar Bhiri

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

  • Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Tahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns (short paper). Dans : Euromicro International Conference on Parallel, Distributed and network-based Processing, St. Petersburg, Russia, 06/03/2017-08/03/2017, Igor Kotenko, Yiannis Cotronis, Masoud Daneshtalab (Eds.), IEEE, p. 287-290, mars 2017.
    BibTeX

  • 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/2016-18/11/2016, Vol. 10009, Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Springer-Verlag, Lecture Notes in Computer Science 10009, p. 313-328, novembre 2016.
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings