AFSEC : Approches Formelles des Systèmes Embarqués Communicants
Si les thématiques du groupe de travail vous intéressent, n'hésitez pas à vous inscrire à sa liste de diffusion : http://contact.univ-angers.fr/sympa/subscribe/afsec
Responsables
- Mehdi Lhommeau
- Loïg Jezequel
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.