Evaluation reports
FR
VERIMAG - Laboratoire Verimag
Type: Research unit evaluation report
Evaluation campaign: 2019-2020 (group A)
- Published on: 26/05/2020
Institution(s) concerned:
Centre national de la recherche scientifique - CNRS
, Grenoble INP
, UGA - Université Grenoble Alpes
Disciplinary research field: Science and Technology (ST)
Scientific field(s): 9 - Sciences et technologies de l'information et de la communication
ERC panel(s): PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Name of unit teams: PACSS ; RSD ; Synchrone ; Tempo
Keywords: Systèmes cyber-physiques ; méthodes formelles ; langages de programmation ; implantation ; sûreté ; sécurité ; certification.