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)

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]