On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Crossref DOI link: https://doi.org/10.1007/978-3-319-91271-4_35
Published Online: 2018-05-08
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Aït-Ameur, Yamine
Ait-Sadoune, Idir
Casteran, P.
Gibson, Paul
Hacid, K.
Kherroubi, S.
Méry, Dominique
Mohand-Oussaid, L.
Singh, Neeraj K.
Voisin, Laurent
License valid from 2018-01-01