Archives mensuelles : mai 2018

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 … Continuer la lecture →

Publié dans Actualité, Non classé | Commentaires fermés sur Publication à la conférence ABZ 2018 du consortium IMPEX

Publications des actes d’IMPEX 2017

Publié le 24 mai 2018 par Dominique Méry

Les actes du workshop IMPEX 2017 sont publiés dans la série EPTCS:  EPTCS 271, Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX)  and  Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Xi’An, China, 16th November 2017. … Continuer la lecture →

Toutes les galeries | Commentaires fermés sur Publications des actes d’IMPEX 2017