Proposition et vérification formelle de protocoles de ... - Theses.fr
Soutenue le 18 novembre 2013 devant la commission d'examen ... Congduc
Pham. Professeur des Universités. Rapporteur. Laboratoire LIUPPA - Université
de Pau ...... de la pile protocolaire : les délais dans les files d'attente entre les
couches. ...... Toutes ces étapes permettent de corriger la conception du
protocole pour ...