AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour January, 2009

Compte rendu de la réunion du 27 janvier 2009

Thursday 29 January 2009

Réunion du 27 janvier 2009 à Toulouse (ENSEEIHT). 37 participants.

Thèmes :

  • Vérification des systèmes temps-réel
  • Calcul réseau.
    Cette réunion a été l’occasion du lancement du groupe WEED.

Transparents des présentations :

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