Equipe-projet

KAIROS

Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
Centre(s) inria
Sophia Antipolis - Méditerranée
En partenariat avec
CNRS,Université Côte d'Azur

Membres

Robert De Simone

Responsable de l'équipe

Patricia Riveill

Assistant(e) de l'équipe