Verimag
Accueil > Équipes > Tempo > Projets > Projets

Projets


Projets en cours

    Projets Europeens

  • UnCoVerCPS - European H2020, 2015-2018
    UnCoVerCPS develops and implements new methods to integrate formal verification methods into the control design of cyber-physical systems.
  • Projets Nationaux

  • CASERM - Persyval-Lab Equipe-Action 2016-2019
    CASERM : Design and Analysis of Reconfigurable Multi-view Embedded Systems
  • COMPACS - ANR 2014-2017

Projets Terminés


La page de tous les projets et contrats de Verimag


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1033399