Explore projects

Ceci est le squelette du TP de compilation pour les InfoSec.

Voici les programmes réalisés dans le cadre de mon parcours recherche, de l'année scolaire 2021-2022.

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)

Extension of gridExtra R package to make awesome tables.

TP de Java EE "Mission Impossible"

A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".

Ceci est le squelette du TP de compilation pour les InfoSec.