offres d'emploi formations actualités contact accès annuaire intranet

Emna CHEBBI

Doctorant, Equipe Osmose

Adresse électronique : chebbi [at] lisic.univ-littoral.fr


Publications


2017


Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation

EMNA CHEBBI, PATRICK SONDI, ERIC RAMAT
Accepted at SIMUL 2017 - the Ninth International Conference on Advances in System Simulation, Athens, Greece, October 2017
Voir le lien