Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03176420
Contributor : Françoise Grélaud <>
Submitted on : Monday, March 22, 2021 - 1:35:44 PM
Last modification on : Tuesday, May 4, 2021 - 4:07:31 PM

Identifiers

  • HAL Id : hal-03176420, version 1

Citation

Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali. An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016). 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. ⟨hal-03176420⟩

Share

Metrics

Record views

14