Papers Rapports et documents que j’ai eu l’occasion de rédiger. Master 2: Gatling - Tests de charge optimisés (2011) Master 2: UPPAAL for Parametric Models (2010)