Protocol Correction : Methods and Tools - Université de Bordeaux
Communication Dans Un Congrès Année : 1991

Protocol Correction : Methods and Tools

Richard Castanet
  • Fonction : Auteur
  • PersonId : 836430
Laboratoire Bordelais de Recherche en Informatique
Bernard Cousin
Laboratoire Bordelais de Recherche en Informatique
CV
Omar Rafiq
  • Fonction : Auteur
César Viho
Laboratoire Bordelais de Recherche en Informatique
CV

Résumé

From their informal specification to their implementation, the different steps of protocol development still represent a hard work for designers. In this paper, we develop a method to help protocol designers in specification and verification steps ...

Domaines

Réseaux et télécommunications [cs.NI]
Fichier principal
Vignette du fichier
ComputerNetworks91.pdf (791.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Bernard Cousin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04807908

Soumis le : mercredi 27 novembre 2024-20:02:22

Dernière modification le : mardi 3 décembre 2024-03:10:56

Télécharger pour visualiser

Dates et versions

hal-04807908 , version 1 (27-11-2024)

Identifiants

  • HAL Id : hal-04807908 , version 1

Citer

Richard Castanet, Bernard Cousin, Omar Rafiq, César Viho. Protocol Correction : Methods and Tools. Computer Networks'91, Jun 1991, Wroclaw, Poland. pp.271-276. ⟨hal-04807908⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-BORDEAUX
0 Consultations
0 Téléchargements

Partager

More