My search | Inria

Improve your search TOCCATA

Search

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Filter by

Sort by

By relevance
From newest to oldest

5 results for "TOCCATA"

ProofInUse: a joint Inria and AdaCore laboratory

FIEEC Carnot Prize for Applied Research: Claude Marché “proves himself”!

Chaîne industrielle

D'après Rawpixel - CC0

Industry of the Future

Inria and Mitsubishi Electric collaborate to develop a digital copy of an industrial assembly line

Image illustration logiciel CREUSOT

© Freestocks sur Unsplash

Industry of the Future

Program safely in Rust with the Why3 proof assistant

ERC Consolidator Grant 2020: Assia Mahboubi - formalising the foundations of mathematics