Verimag
Home > Teams > Tempo > Projects > Projects

Projects


Current Projects

    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

Past Projects


The whole Verimag Projects page


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1029700