Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

3 Results
authFullName_s : Tahar Bhiri
Image document

An Event-B Development Process for the Distributed BIP Framework

Badr Siala , Tahar Bhiri , Jean-Paul Bodeveix , M Filali
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. pp. 313-328
Conference papers hal-01709119v1

An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016)

Badr Siala , Tahar Bhiri , Jean-Paul Bodeveix , M Filali
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
Conference papers hal-03176420v1
Image document

Automatic Refinement for Event-B through Annotated Patterns

Badr Siala , Jean-Paul Bodeveix , M Filali , Tahar Bhiri
25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp.287-290, ⟨10.1109/PDP.2017.72⟩
Conference papers hal-01887899v1