Article révisé par les pairs
Titre :
  • Formal description techniques: Communication tools for data communication specialists. Formal specification and implementation of a file transfer protocol
Auteur : T'Hooft, Guy
Informations sur la publication : Computer Networks and ISDN Systems, 14, 2-5, (page 311-321)
Statut de publication : Publié, 1987
Sujet CREF : Sciences de l'ingénieur
Mots-clés : Estelle
File Transfer Protocol
Formal Description Techniques
Implementation
Specification Languages
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0169-7552 
info:doi/10.1016/0169-7552(87)90070-5
info:pii/0169755287900705