AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour September, 2006

TACAS’07 (du 24 mars au 1 avril 2007)

Wednesday 13 September 2006

THE Thirteenth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS (TACAS’07)
24 March - 1 April, 2007, Braga, Portugal : TACAS’07

Soumission des articles : 6 octobre 2006
Notification de l’acceptation : 8 décembre 2006

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