Test de validation du protocole de contrôle d'IPv6 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

Test de validation du protocole de contrôle d'IPv6

Résumé

Ce rapport présente la spécification formelle du protocole de contrôle d'IPv6 en SDl'97. La simulation et la validation de ce protocole sont également abordées dans ce travail.

Mots clés

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098883 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098883 , version 1

Citer

Ismaila Ndiaye. Test de validation du protocole de contrôle d'IPv6. [Stage] 99-R-421 || ndiaye99a, 1999, 39 p. ⟨inria-00098883⟩
78 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More