AFSEC

Approches Formelles des Systèmes Embarqués Communicants

TACAS 2008 (du 29 mars au 6 avril 2008)

27th 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

Leave a Reply

You must be logged in to post a comment.