Emna Chebbi. De la modélisation formelle à la simulation à évènements discrets : application à la conception et à l'évaluation de protocoles sûrs et sécurisés pour les communications dans les transports. (From formal modeling to discrete event simulation : application to the design and evaluation of safe and secured protocols for communications in transportation systems). PhD thesis, University of the Littoral Opal Coast, Dunkerque, France, 2019. [doi]
@phdthesis{hal-13278,
title = {De la modélisation formelle à la simulation à évènements discrets : application à la conception et à l'évaluation de protocoles sûrs et sécurisés pour les communications dans les transports. (From formal modeling to discrete event simulation : application to the design and evaluation of safe and secured protocols for communications in transportation systems)},
author = {Emna Chebbi},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02481559},
researchr = {https://researchr.org/publication/hal-13278},
cites = {0},
citedby = {0},
school = {University of the Littoral Opal Coast, Dunkerque, France},
}