Anciens groupes de travail

Plusieurs groupes de travail terminent leur activité au sein du GDR GPL à la fin de l'année 2015. Il s'agit de :

  • COSMAL : Composants Objets Services : Modèles, Architectures et Langages
  • FORWAL : Formalismes et Outils pour la Vérification et la Validation

Tags: