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) : ENS Cachan , 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
Mots clés : sécurité; model checking; vérification; bases de données

Télécharger le fichier