Composition Operators for Event-B. CO4EB Rodin plugin - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Composition Operators for Event-B. CO4EB Rodin plugin

Domaines

Informatique [cs] Modélisation et simulation

Elodie Dubrac  : Connectez-vous pour contacter le contributeur

https://centralesupelec.hal.science/hal-01103340

Soumis le : mercredi 14 janvier 2015-15:06:06

Dernière modification le : lundi 20 novembre 2023-11:44:22

Fichier non déposé

Dates et versions

hal-01103340 , version 1 (14-01-2015)

Identifiants

  • HAL Id : hal-01103340 , version 1

Citer

Idir Ait-Sadoune, Yamine Aït-Ameur. Composition Operators for Event-B. CO4EB Rodin plugin. Rodin Workshop 2014, Jun 2014, Toulouse, France. ⟨hal-01103340⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

SUPELEC UNIV-TLSE2 CNRS SUP_INFO SUP_E3S SMS UT1-CAPITOLE CENTRALESUPELEC TDS-MACS IRIT IRIT-ACADIE IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
138 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More