|
Recherche avancée
Recherche par couleur
|
Recherche avancée
Ensemble de recherche :
tous les documents
-
tous les documents
-
Images
-
Films
-
Rushes
-
Publications
-
Audio
-
parmi les 10 documents
Recherche par couleur
Ensemble de recherche :
tous les documents
-
tous les documents
-
Images
-
Films
-
Rushes
-
Publications
-
Audio
-
parmi les 10 documents
Affiner la recherche
Aucun mot-clé trouvé pour affiner la recherche
Mots clés
Equipe-projet
Centre de Recherche
Orientation
Année
|
|
Planche contact
Liste
Diaporama
10 documents trouvés
| 1 |
Documents par page :
Inria-705-PROVAL_ALT_ERGO-fr.mp4
RII - Alt-Ergo, preuve automatique pour la certification de code critique.
2010
Inria-706-PROVAL_FRAMAC-fr.mp4
RII - Frama-C, une boîte à outils pour la vérification de logiciels en C
2010
INRIA-0083-516.jpg
Vérification de programme
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-557.jpg
Vérification de programme
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-571.jpg
Vérification de programme
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-838.jpg
Vérification de programme
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-894.jpg
Sylvie Boldo
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-933.jpg
Sylvie Boldo
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-936.jpg
Sylvie Boldo
© Inria / Photo C. Lebedinsky
2008
INRIA-0083-956.jpg
Sylvie Boldo
© Inria / Photo C. Lebedinsky
2008
Second choix (archivage)
En attente de validation
Image en vitrine pour le grand public
Image visible sur la base interne mais utilisable pour diffusion publique