C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

National Projects

  • MOAP (2020-2023)
    funded by Région Auvergne-Rhône-Alpes Logo Auvergne-Rhone-Alpes

  • PRISSMA (2021-2024)

Bilateral Grants with Industry

European Projects

International Working Groups


Past projects

National Projects

Bilateral Grants with Industry

PhD Co-Supervision

European Projects

 
 
Logo Twitter
 
Last modified: 2021/04/02 11:51:34.