M
Modelling
Projets sur ce sujet
-
A Rust library that partially reimplements the Ecore metamodeling language.
Mis à jour -
Modelling, analysing and correct-construction of IoT-based systems using Event-B
Mis à jour
Nantes Université
A Rust library that partially reimplements the Ecore metamodeling language.
Modelling, analysing and correct-construction of IoT-based systems using Event-B