AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Compte-rendu de la journée “Méthodes formelles pour la bio-informatique”

4th November 2011

Journée “Méthodes formelles pour la bio-informatique” du jeudi 20 octobre 2011 au LIP6 à Paris.

25 participants.

Nous remercions particulièrement Béatrice Bérard et Fabrice Kordon pour l’organisation locale.

Les transparents des quatre présentations sont disponibles :

Leave a Reply

You must be logged in to post a comment.