AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour July, 2007

Compte-rendu de la journée AFSEC « Outils » le 22 juin 2007

Wednesday 11 July 2007

Journée du 22 juin 2007

Journée AFSEC organisée par le laboratoire Ampère UMR 5005

Transparents des présentations :

  • Présentation de Modelica par Sébastien FURIC Société Imagine (Roanne) : Modelica
  • Présentation de GreatSPN par Patrice Moreaux LISTIC (Annecy): GreatSPN
  • Présentation d’AltaRica par Antoine Rauzy IML/univ. Marseille : Altarica.ppt
  • Présentation de TINA par Bernard Berthomieu/François Vernadat LAAS Toulouse : tina-abstraction, tina-verif

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