Rapport d’évaluation FR

LSV - Laboratoire spécification et vérification

Type : Rapport d’évaluation d’une entité de recherche
Campagne d'évaluation : 2018-2019 (vague E) - Publié le : 27/03/2019
Établissement(s) concerné(s) : ENS Cachan , Centre national de la recherche scientifique - CNRS , Université Paris-Sud
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
Panel (ERC) : PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Mots clés : méthodes formelles; vérification; preuves; sécurité; langages; sémantique

Télécharger le fichier