gitlab.univ-nantes.fr topics: Modelling
attiogbe-c/iot_with_eventb
Modelling, analysing and correct-construction of IoT-based systems using Event-B
Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
E187954Y/capstone
A Rust library that partially reimplements the Ecore metamodeling language.
Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Related Keywords