Communication Dans Un Congrès
Année : 2015
Christian Attiogbé : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02500377
Soumis le : jeudi 5 mars 2020-19:10:54
Dernière modification le : mardi 27 août 2024-12:51:36
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⟩
Collections
33
Consultations
0
Téléchargements