Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

M

MODMED

Tools for MODel-based verification of MEDical cyber-physical systems https://sites.google.com/a/minmaxmedical.com/modmed/