AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour March, 2007

FORMATS’07 (du 3 au 5 octobre 2007)

Wednesday 28 March 2007

The 5th International Conference on Formal Modelling and Analysis of Timed Systems.

Salzburg, Austria, October 3—5, 2007

FORMATS 2007

Soumission des articles : 7 mai 2007
Notification de l’acceptation : 25 juin 2007

Publié dans Manifestations, Conférences | Pas de commentaire »