AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour April, 2015

Workshop AFSEC le 12 juin 2015 à Bordeaux

Monday 6 April 2015

Le Workshop AFSEC se tiendra le vendredi 12 juin (session 11h-12h30) lors des journées nationales du GDR GPL qui se dérouleront à Bordeaux du 10 au 12 juin 2015.

Programme du Workshop AFSEC :

  • Claire Pagetti (ONERA)
    Calcul d’ordonnancement hors­ligne sur plateformes multi/pluri­coeurs à base de méthodes formelles.
  • Maurice Comlan (Université d’Abomey Calavi (Bénin), Université de Nantes)
    Processus de branchement des réseaux de Petri avec reset arcs.
  • Marc Pouzet (Ecole Normale Supérieure, Paris.)
    SCADE Hybrid: une extension de SCADE avec des ODEs.

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