Explore projects

Site accessible via ce lien : https://phelma-sicom-2a-bayartpi-db9a4d2e017597904ea3c8274869d5efe9b6e5.gricad-pages.univ-grenoble-alpes.fr

A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)

Website: https://master-tma.gricad-pages.univ-grenoble-alpes.fr/strat-turb-seminars

Program testing and verification