Archives mensuelles : juin 2020

Publications des travaux de deux partenaires à ABZ 2020

Publié le 18 juin 2020 par Dominique Méry

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh: Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ 2020: 169-185 Meryem Afendi, Régine Laleau, Amel Mammar: Modelling Hybrid Programs with Event-B. ABZ 2020: 139-154 … Continuer la lecture →

Publié dans Non classé | Commentaires fermés sur Publications des travaux de deux partenaires à ABZ 2020

Réunion Générale en Visio du 23 juin 2020

Publié le 18 juin 2020 par Dominique Méry

Les partenaires  organisent une réunion à Aix en visio et font le point semestriel.  

Publié dans Non classé | Commentaires fermés sur Réunion Générale en Visio du 23 juin 2020

Visite de ClearSy par le LORIA du 17 au 20 février 2020

Publié le 18 juin 2020 par Dominique Méry

Les partenaires ClearSy et LORIA  travaillent  sur un développement commun  d’utilisation de l’Atelier B.

Publié dans Non classé | Commentaires fermés sur Visite de ClearSy par le LORIA du 17 au 20 février 2020

Réunion Générale à Fontainebleau 20 et 21 Janvier 2020

Publié le 18 juin 2020 par Dominique Méry

La réunion a lieu à l’IUT de Sénart et est organisée par le LACL.

Publié dans Non classé | Commentaires fermés sur Réunion Générale à Fontainebleau 20 et 21 Janvier 2020