gitlab.univ-nantes.fr / attiogbe-c / iot_with_eventb
Modelling, analysing and correct-construction of IoT-based systems using Event-B
Stars: 0
Forks: 0
Open issues:
License: None
Language:
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: 11 months ago
Pushed at: 11 months ago
Last synced at: 12 months ago
Topics: Analysis, Event-B, IoT DSL, Modelling
Readme
Loading...