Publication à la conférence ABZ 2018 du consortium IMPEX

Publié le 24 mai 2018 par Dominique Méry

La publication suivante est présentée à la prochaine conférence ABZ2018:

Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 2018: 425-430

Ce contenu a été publié dans Actualité, Non classé. Vous pouvez le mettre en favoris avec ce permalien.