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 Delphine Robache Assistant(e) de l'équipe Découvrez les autres équipes qui travaillent sur le même thème
