An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016) - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Domaines

Systèmes embarqués

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

Fichier non déposé

Dates et versions

hal-03176420 , version 1 (22-03-2021)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-ACADIE IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More