AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Compte rendu de la journée du 18 novembre 2010

22nd 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 :

Leave a Reply

You must be logged in to post a comment.