Pinned Repositories
BSc-educative-gaming-2019
educative-gaming BSc Project
BSc-sensor-machine-learning
Bachelor project for machine learning in the plant system
cuso-winter-school
CUSO Winter School in Computer Science
drone-control
mcc4mcc
Model Checker Collection for the Model Checking Contest @ Petri nets
outils-formels-modelisation
Cours de Bachelor : Outils Formels de Modélisation
outils-formels-modelisation-2018
Cours de Bachelor : Outils Formels de Modélisation
petrisport
A tool to compute some characteristics on sport Petri nets
semantique
Cours de Bachelor : Sémantique des Langages Informatiques
swift-exercises
Exercises and Homework on Swift
Centre Universitaire d'Informatique - Université de Genève's Repositories
cui-unige/outils-formels-modelisation
Cours de Bachelor : Outils Formels de Modélisation
cui-unige/outils-formels-modelisation-2018
Cours de Bachelor : Outils Formels de Modélisation
cui-unige/semantique
Cours de Bachelor : Sémantique des Langages Informatiques
cui-unige/drone-control
cui-unige/mcc4mcc
Model Checker Collection for the Model Checking Contest @ Petri nets
cui-unige/BSc-educative-gaming-2019
educative-gaming BSc Project
cui-unige/BSc-sensor-machine-learning
Bachelor project for machine learning in the plant system
cui-unige/cuso-winter-school
CUSO Winter School in Computer Science
cui-unige/modelisation-verification-2018
Cours de Master: Modélisation et Vérification
cui-unige/petrisport
A tool to compute some characteristics on sport Petri nets
cui-unige/swift-exercises
Exercises and Homework on Swift
cui-unige/AurelienCoet-plantlogger-2019
Data logger for a plant management system
cui-unige/bash
cui-unige/blog-smv
Official blog of the Semantics, Modeling & Verification team
cui-unige/modelisation-verification-2017
Cours de Master: Modélisation et Vérification
cui-unige/outils-formels-avances
Cours de Master : Outils Formels Avancés
cui-unige/outils-formels-ex9
cui-unige/petrinet
Petri net simulator targeting C programs
cui-unige/team-smv
Team "Semantics, Modeling & Verification"