AFSEC : Approches Formelles des Systèmes Embarqués Communicants
Responsables
- Mehdi Lhommeau
- Loig Jézéquel
Action à vocation inter-GDR STIC
Le contexte est celui de la priorité reconnue au CNRS du développement des recherches sur les systèmes embarqués et communicants.