Composition Operators for Event-B. CO4EB Rodin plugin - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Composition Operators for Event-B. CO4EB Rodin plugin

Domains

Computer Science [cs] 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 : Friday, March 24, 2023-2:53:00 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 CENTRALESUPELEC TDS-MACS IRIT IRIT-ACADIE IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
125 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More