gricad-gitlab.univ-grenoble-alpes.fr / modmed 4 Repositories
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
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
modmed/modmedLog
C++ library to trace structured events and data from usual tracepoints
Last synced at: 7 months ago - Stars: 0 - Forks: 0
modmed/partrap-ide
IDE for the ParTraP language
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
modmed/partrap-install-web-site
stores the update site of ParTraP and associated documentation
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0