AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour June, 2007

TACAS 2008 (du 29 mars au 6 avril 2008)

Wednesday 27 June 2007

Fourteenth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS

Budapest, Hungary, 29 March - 6 April, 2008

TACAS 2008

Soumission des articles : 12 octobre 2007
Notification de l’acceptation : 7 decembre 2007

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