AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour November, 2010

Compte rendu de la journée du 18 novembre 2010

Monday 22 November 2010

Journée “Outils pour les modèles temporisés et hybrides” le 18 novembre 2010 à SUPMECA PARIS

48 participants.
Les transparents des présentations sont disponibles :

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