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

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

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

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.