Nantes Université

I

IOT_with_EventB

Informations sur le projet

Modelling, analysing and correct-construction of IoT-based systems using Event-B

Event-B Analysis Modelling IoT DSL

16 validations
1 branche
0 étiquette

README

Date de création

3 janvier 2020

Chargement en cours