Explore projects
-
Modèle pour la génération de supports de cours (poly+slides) au format html, pdf et même docx à partir d'une source unique (au format markdown/pandooc).
Updated -
This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
Updated -
QoE testbed for sampling constrained applications like Skype
Updated -
-
Updated
-
Generation of SystemC code from AADL models for functional simulation
Updated -
Updated
-
-
This is a project of OPC UA specification Part 14 PubSub implementation.
The project include 2 major parts : OPC UA server with opc ua pubsub kit and OPC UA MQTT Configuration tool .
Updated -
Updated
-
UpdatedUpdated
-
A Benchmark of Incremental Model Transformation Tools based on an Industrial Case Study with AADL
Updated -
sdram20 / MCsimCoq
MIT LicenseUpdated -
Updated
-
Updated