Composition Operators for Event-B. CO4EB Rodin plugin - CentraleSupélec Access content directly
Conference Papers Year : 2014

Composition Operators for Event-B. CO4EB Rodin plugin

Domains

Computer Science [cs] Modeling and Simulation

Elodie Dubrac  : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-01103340

Submitted on : Wednesday, January 14, 2015-3:06:06 PM

Last modification on : Monday, April 17, 2023-6:32:11 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01103340 , version 1

Cite

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

Export

BibTeX 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
130 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More