Ma recherche | Inria

Affiner votre recherche TOCCATA

Rechercher

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Trier par

Trier par

Par pertinence
Du plus récent au plus ancien

5 résultats pour "TOCCATA"

ProofInUse : le LabCom Inria-AdaCore

Prix FIEEC Carnot de la Recherche Appliquée : Claude Marché ''fait ses preuves''

Chaîne industrielle

D'après Rawpixel - CC0

Industries du futur

Inria et Mitsubishi Electric collaborent pour élaborer la copie numérique d’une chaîne d’assemblage industrielle

Image illustration logiciel CREUSOT

© Freestocks sur Unsplash

Industries du futur

Programmez en toute sécurité en Rust avec l’assistant de preuve Why3

ERC Consolidator Grant 2020 : Assia Mahboubi formalise les fondations des mathématiques