AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Bureau

L’action transversale AFSEC est pilotée par :

Comité scientifique :