• Citer

Formal description techniques: Communication tools for data communication specialists. Formal specification and implementation of a file transfer protocol

par T'Hooft, Guy
Référence Computer Networks and ISDN Systems, 14, 2-5, page (311-321)
Publication Publié, 1987

Article révisé par les pairs

• Accès en ligne
• Détails
• Contenu
• Statistiques

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 générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:0169-7552
	info:doi/10.1016/0169-7552(87)90070-5
	info:pii/0169755287900705
	info:scp/0023458304