Rapport d’évaluation EN

LSV - Laboratoire spécification et vérification

Type : Rapport d’évaluation d’une entité de recherche
Campagne d'évaluation : 2013-2014 (vague E) - Publié le : 15/05/2014
Établissement(s) concerné(s) : Ecole normale supérieure Paris-Saclay , Centre national de la recherche scientifique - CNRS
Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST) ; ST6 Sciences et technologies de l'information et de la communication
Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication
Mot(s) clé(s) : sécurité ; model checking ; vérification ; bases de données

Télécharger le fichier