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 Dans l'actualité Offre d'emploi Doctorant F/H A Hierarchical Time Model for Event-B Date limite pour postuler 07/06/2025 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 A Hierarchical Time Model for Event-B Date limite pour postuler 07/06/2025
