TY  - THES
DP  - http://www.theses.fr/2019DUNK0538
TI  - 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
AU  - Chebbi, Emna
A3  - Ramat, Eric; Sondi Obwang, Patrick
PY  - 2019
N1  - Thèse de doctorat Informatique Littoral 2019
N1  - 2019DUNK0538
UR  - http://www.theses.fr/2019DUNK0538/document
ER  -