AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour June, 2018

Workshop AFSEC lors des journées 2018 du GDR GPL

Wednesday 13 June 2018

Un Workshop AFSEC se tiendra le mecredi 13 juin (session 14h-15h30) lors des journées nationales du GDR GPL qui se dérouleront à Grenoble du 12 au 15 juin 2018.

Programme du Workshop AFSEC :

  • Julien Brunel (ONERA)
    Modelling the structure and the behaviour of systems.
  • Loïg Jezequel (Université de Nantes)
    Analyse paresseuse d’atteignabilité dans des réseaux d’automates temporisés..
  • Marc Pouzet (Ecole Normale Supérieure)
    Un peu d’ordre supérieur dans Zélus.

Publié dans Actions Afsec, Journées | Pas de commentaire »