Equipe-projet DEVINE Vérification efficace pour des systèmes distribués fiables Vérification efficace pour des systèmes distribués fiables
Centre(s) inria Centre Inria de l’Université de Rennes En partenariat avec CNRS Publications HALRapport d'activitéSite Web Contacts Nathalie Bertrand Responsable de l'équipe Laurence Dinh Assistant(e) de l'équipe Dans l'actualité Machine learning @Alexandre Maio Industrie 4.0 : opérateur et robot sont-ils faits pour s’entendre ? 07/12/2021 Programmation des échecs et d'autres jeux Intelligence artificielle Comment voler un sous-marin Sécurité numérique Commander les robots Robotique La décomposition en séries de Fourier Traitement d’images & Son Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Machine learning @Alexandre Maio Industrie 4.0 : opérateur et robot sont-ils faits pour s’entendre ? 07/12/2021