gricad-gitlab.univ-grenoble-alpes.fr / modmed 4 Dépôts
Tools for MODel-based verification of MEDical cyber-physical systems https://sites.google.com/a/minmaxmedical.com/modmed/
modmed/partrap
Simple interpreter for the ParTraP language
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
modmed/modmedLog
C++ library to trace structured events and data from usual tracepoints
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
modmed/partrap-ide
IDE for the ParTraP language
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
modmed/partrap-install-web-site
stores the update site of ParTraP and associated documentation
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0