Home > Teams > Tempo > Projects > Projects


Current Projects

    Supported by European Programs

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

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

Past Projects

The whole Verimag Projects page

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

info visites 1128578