Rapport d’évaluation
FR
VERIMAG - Laboratoire Verimag
Type : Rapport d’évaluation des unités de recherche
Campagne d'évaluation : 2019-2020 (vague A)
- Publié le : 26/05/2020
Établissement(s) concerné(s) :
Centre national de la recherche scientifique - CNRS
, Grenoble INP
, UGA - Université Grenoble Alpes
Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST)
Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication
Panel(s) ERC : PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Nom des équipes de l'unité : PACSS ; RSD ; Synchrone ; Tempo
Mot(s) clé(s) : Systèmes cyber-physiques ; méthodes formelles ; langages de programmation ; implantation ; sûreté ; sécurité ; certification.