Skip to Main content Skip to Navigation
Reports

Formalisation et test d'IPv6

Abdelghani Benharref Zineb Berbich Mohamed Salah Bouassida 1 Rachida Dssouli Isabelle Chrisment 1
1 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce document présente les activités de recherche qui ont été menées conjointement entre le projet MADYNES du LORIA et Concordia University de Montréal dans le cadre d'une coopération financée par le FFCR (Fonds France-Canada pour la Recherche). Ces activités de recherche portent sur la formalisation et le test des protocoles IPv6. || This document presents research activities achieved between MADYNES project from LORIA and Concordia University from Montreal, within the framework of a cooperation funded by FFCR (Fonds France-Canada for Research). These research activities are related
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099471
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:14:59 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Friday, November 25, 2016 - 11:59:25 AM

Identifiers

  • HAL Id : inria-00099471, version 1

Collections

Citation

Abdelghani Benharref, Zineb Berbich, Mohamed Salah Bouassida, Rachida Dssouli, Isabelle Chrisment. Formalisation et test d'IPv6. [Contrat] A03-R-465 || benharref03a, 2003, 21 p. ⟨inria-00099471⟩

Share

Metrics

Record views

437

Files downloads

119