Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
-
repository of the sbench python package
-
-
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
-
-
Reinforce the opacity of a DES using the SCT
-
-
-
Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse
-
Multi-core Decision Diagram (BDD/LDD) implementation
-
-
This is a copy of the TinyXML parser.
-
-
-
This is a copy of TinyXML2 parser
-
-
SOG-Based Multi-Core LTL Model Checking
-
-
gitlab-ci.yml configuration files