Explore projects

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

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