page d'accueil   sommaire  

contrôle distribué
Liste des unités de recherche et des chercheurs ayant déclarés ce mot clé.


unités de recherche


Constructions mécanique et robotique [Active Structures Laboratory] (SCMERO)
Méthodes formelles et vérification [Verification and formal methods] (Verif)



chercheurs





disciplines associées


Analyse de systèmes informatiques Automatisme et régulation Informatique appliquée logiciel Informatique générale Mécanique appliquée spéciale Optique