Deriving Event-B Models from Mealy Machines: Application to an Auction System - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

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

Fichier non déposé

Dates et versions

hal-02500377 , version 1 (05-03-2020)

Identifiants

Citer

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⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

More