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: 11 months ago - Stars: 0 - Forks: 0