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 Intelligence artificielle Programmation des échecs et d'autres jeux Sécurité numérique Comment voler un sous-marin Robotique Commander les robots Traitement d’images & Son La décomposition en séries de Fourier 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
