Software Evaluation
CANTEAUT, Anne
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
MARANGET, Luc
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
See more >
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
CANTEAUT, Anne
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
MARANGET, Luc
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
RICCHIUTO, Mario
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
< Reduce
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
Language
en
Rapport
This item was published in
2021-01-14
English Abstract
This document is intended for the members of Inria juries in order to assist them in their evaluation of software developed by the researchers. It results from the work carried out by the Software Evaluation working group ...Read more >
This document is intended for the members of Inria juries in order to assist them in their evaluation of software developed by the researchers. It results from the work carried out by the Software Evaluation working group from March to December 2020.Read less <
Origin
Hal imported