Sujet: "Modelling"
attiogbe-c/iot_with_eventb
Modelling, analysing and correct-construction of IoT-based systems using Event-B
dernière synchronisation: il y a plus d'un an - enregistré: il y a environ un an - étoiles: 0 - forks: 0
E187954Y/capstone
A Rust library that partially reimplements the Ecore metamodeling language.
dernière synchronisation: il y a plus d'un an - enregistré: il y a environ un an - étoiles: 0 - forks: 0
Sujets associés