AFSEC

«
»

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

11th 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

This entry was posted on Wednesday, July 11th, 2007 at 16:53 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.

Leave a Reply

You must be logged in to post a comment.

«
»