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.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098883
Soumis le : mardi 26 septembre 2006-08:39:47
Dernière modification le : vendredi 24 mars 2023-14:52:48