Nantes Université
Skip to content
GitLab
Explorer
Connexion
S'inscrire
Jeremie christian ATTIOGBE
IOT_with_EventB
I
IOT_with_EventB
Ajouter aux favoris
0
Project ID: 5719
16
validations
1
branche
0
étiquette
Sujets:
Event-B
Analysis
Modelling
+ 1 de plus
Modelling, analysing and correct-construction of IoT-based systems using Event-B
En savoir plus
Rechercher un fichier
Code
Cloner avec SSH
Cloner avec HTTPS
Ouvrir dans votre IDE
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
IntelliJ IDEA (SSH)
IntelliJ IDEA (HTTPS)
Télécharger le code source
zip
tar.gz
tar.bz2
tar
Sélectionner le format de l'archive
Télécharger le code source
zip
tar.gz
tar.bz2
tar
Copier l'URL de clonage HTTPS
Copier l'URL de clonage SSH
git@gitlab.univ-nantes.fr:attiogbe-c/iot_with_eventb.git
Copier l'URL HTTPS de clonage
https://gitlab.univ-nantes.fr/attiogbe-c/iot_with_eventb.git
README