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 Dans l'actualité Offre d'emploi Doctorant F/H [DOCT2022-KAIROS] Génération de code source efficace pour le contrôle des systèmes synchrones critiques Date limite pour postuler 25/05/2022 Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Offre d'emploi Doctorant F/H [DOCT2022-KAIROS] Génération de code source efficace pour le contrôle des systèmes synchrones critiques Date limite pour postuler 25/05/2022
