Workshop AFSEC le 12 juin 2015 Ã Bordeaux
6th 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.