Rapport d’évaluation FR

VERIMAG - Laboratoire Verimag

Type : Rapport d’évaluation d’une entité 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 , Université Grenoble Alpes - UGA
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.

Télécharger le fichier