AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Liens

GDR CNRS :

Programme européen sur les systèmes embarqués :

Portail web d’ARTIST2 sur les systèmes embarqués :