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 Publications HALRapport d'activité Membres Robert De Simone Responsable de l'équipe Patricia Riveill Assistant(e) de l'équipe Découvrez les autres équipes qui travaillent sur le même thème
