IMPEX
Aller au contenu
  • Accueil / Home
  • Publications/Publications
  • Réunions/Meetings
  • Livrables/Delivrables
  • Logiciels/Software
  • Partenaires/Partners
  • Personnel/Staff
← Publications des actes d’IMPEX 2017

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.
← Publications des actes d’IMPEX 2017
  • Articles récents

    • Publication à la conférence ABZ 2018 du consortium IMPEX
    • Publications des actes d’IMPEX 2017
    • IMPEX’2017
  • Catégories

    • Actualité
    • Non classé
  • janvier 2021
    L M M J V S D
    « Mai    
     123
    45678910
    11121314151617
    18192021222324
    25262728293031
  • IMPlicit and EXplicit semantics integration in proof based developments of discrete systems

IMPEX
Fièrement propulsé par WordPress