AFSEC

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.

This entry was posted on Monday, April 6th, 2015 at 20:04 and is filed under Actions Afsec, Journées. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.