IMPORTANT : mardi 20 avril et jeudi 22 avril entre 16h et 19h, une maintenance des équipements réseau de l'UGA entrainera une coupure de la plate-forme gitlab. Des perturbations sont également possibles entre ces deux dates.

M

MODMED

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