Communication Dans Un Congrès
Année : 2016
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03176420
Soumis le : lundi 22 mars 2021-13:35:44
Dernière modification le : lundi 20 novembre 2023-11:44:22
Dates et versions
Identifiants
- HAL Id : hal-03176420 , version 1
Citer
Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, M 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⟩
Collections
16
Consultations
0
Téléchargements