F. Ngani, C. Viho. De la spécification au test de protocoles de mobilité.5è colloque international sur les Nouvelles Technologies de la Répartition (NOTERE 2005, Prix du meilleur papier), Gatineau, Québec, Canada, August 2005.
F. Ngani, C. Viho. Modeling, Verifying and Testing Mobility Protocol from SDL Language.SDL 2005: Model Driven, Grimstad, Norway, June 2005.
F. Ngani, C. Viho. Spécification formelle et simulation du protocole de mobilité IPv6.7 ème Colloque Africain sur la Recherche en Informatique (CARI'2004), Hammamet, Tunisie, November 2004.
F. Ngani, C. Viho. Validation of the Mobile IPv6 protocol using Formal Approach.The 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI'2004) , Orlando, Florida,USA, July 2004.
F. Ngani, C. Viho. Modeling and Validation of Mobile IPv6 for Automatic Test Generation purpose.Position papers in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom'2004), Oxford, United Kingdom, March 2004.
Les documents contenus dans ces répertoires sont rendus disponibles par les
auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux
savants et techniques sur une base non-commerciale. Les droits de copie et
autres droits sont gardés par les auteurs et par les détenteurs du copyright,
en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique.
Les personnes copiant ces informations doivent adhérer aux termes et
contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent
pas être rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
Ces pages sont créées automatiquement par le programme
bib2html
du projet
Vista
