AFSEC

• Benedikt Bollig (LSV, CNRS, ENS Cachan)
  Logic for Communicating Automata with Parameterized Topology
• Didier Lime (IRCCyN, École Centrale de Nantes)
  Dépliage symbolique des réseaux de Petri temporels
• Rémi Morin (LIF, Université d’Aix-Marseille)
  Vérification de MSG à l’aide d’outils
• Loïc Paulevé (LRI, Orsay)
  Interpretation of Traces for Asynchronous Automata Networks
• Bernard Berthomieu (LAAS, CNRS, Toulouse)

Specifying and verifying real time systems with Fiacre/Tina

This entry was posted on Friday, November 22nd, 2013 at 19:34 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.