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 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