Explore projects

Reinforce the opacity of a DES using the SCT

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

scripts for the TACAS 21 paper experiments

SOG-Based Multi-Core LTL Model Checking

Dépôt pour les TPs APD

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

ICECCS19 paper experiments files

Introduction à l'algorithmique et aux bases de la programmation

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems