Test de validation du protocole de contrôle d'IPv6 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

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

Abstract

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.

Keywords

Domains

Other [cs.OH]
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098883 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More