Tag cloud | Project Tree | Project List


2A A Posteriori Error Estimation Arithmetic B Method Boost C++ CUDA Calcul Parallele CamiTK Computational Geometry Computer Vision Courses Cryptology Domain Specific Embedded Language Education FFI FST Feel++ Finite Fields Finite element method Finite fields Functional Designation GPGPU GPU Galerkin methods Graph ICD Loader IPv6 Integer Internet JS LJK LaTex Lemon Life Linguistic Programming MPI MT MaiMoSiNE Mesh Adaptation NLP Numerical Methods Numerical methods OpenCL Python ReSICLED Rheolef Ruby STEP Scientific computing SimGrid Software tools SpMV Systemes embarques TD TEL Traces Visualisation WSD analyse asymptotique c++ cmake data analysis ecoulemenents sanguins education formal verification front-end high order methods high performance computing human computer interface immersive teleoperation interaction linux midi milieux poreux monitoring multi-core multimodality networking numerical methods pattern mining pebble game pervasive computing programming environments protocols robot scilab security sensor service oriented architecture socket software engineering systemc systemes critiques testbed traffic analysis traffic generator visualization wiktionary wireless

1 project in result set.
MODMED Tools - Tools for MODel-based verification of MEDical cyber-physical systems: - C++ structured traces library - DSL to express required/assumed/usage properties of execution traces - Monitor generation tool to verify properties on actual traces - ...
Tags: C++, Python, monitoring, Software tools, Domain Specific Embedded Language, Requirements, Traces, formal verification

Activity Percentile: 99
Activity Ranking: 2
Registered: 2016-12-02 15:44

Powered By FusionForge