Communication Dans Un Congrès Année : 1991

Protocol Correction : Methods and Tools

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 ...

Fichier principal
Vignette du fichier
ComputerNetworks91.pdf (791.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

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⟩
65 Consultations
83 Téléchargements

Partager

  • More