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 Centre Inria d'Université Côte d'Azur En partenariat avec Université Nice - Sophia Antipolis,CNRS,Université Côte d'Azur Publications HALRapport d'activité Contacts Julien DeAntoni Responsable de l'équipe Patricia Riveill Assistant(e) de l'équipe Découvrez les autres équipes qui travaillent sur le même thème
