Communication dans un congrès, Informatique, Modélisation et simulation
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩
