Compte rendu du Workshop AFSEC du 22 juin 2012
29th June 2012
Workshop AFSEC (lors des des journées du GDR GPL ) le 22 juin 2012 à Rennes – INRIA Campus Beaulieu
50 participants
Une partie des transparents est disponible :
- Loic Helouet (IRISA)
Synthèse de protocoles à partir d’exigences – Garanties de correction par controle asynchrone – partie 1
Synthèse de protocoles à partir d’exigences – Garanties de correction par controle asynchrone – partie 2 - Thomas Chatain, (LSV – ENS Cachan)
Avoiding shared clocks in networks of timed automata - Fabrice Kordon (LIP6 – Paris 6)
Exploitation de la Hiérarchie et des Symétries dans les systèmes répartis