Explore projects

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

This is a copy of the TinyXML parser.

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Partial Order Model checker for PETri nets

This is a copy of TinyXML2 parser

SOG-Based Multi-Core LTL Model Checking

gitlab-ci.yml configuration files

Symbolic Observation Graph-Based Generation of Test Paths