Équipe Systèmes communicants
| Membres permanents : |
Doctorants : |
|
|
|
Cliquez
ici
pour accéder à la page web de l'équipe.
Thèmes et responsables
- Modèles algébriques des systèmes
communicants et temps réel (Elisabeth Pelz)
- Spécification et implantation de systèmes
mobiles (Fabrice Mourlin)
- Validation de systèmes communicants complexes (Elisabeth Pelz)
