Skip to Main content Skip to Navigation
Conference papers

Deriving Event-B Models from Mealy Machines: Application to an Auction System

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02500377
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Thursday, March 5, 2020 - 7:10:54 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM

Identifiers

Citation

Christian Attiogbé. Deriving Event-B Models from Mealy Machines: Application to an Auction System. Model and Data Engineering - 5th International Conference, (MEDI'2015), Sep 2015, Rhodes, Greece. pp.77-88, ⟨10.1007/978-3-319-23781-7_7⟩. ⟨hal-02500377⟩

Share

Metrics

Record views

25