Title :
A Formalization Of The FIP Protocol Using Estelle
Author :
Sisto, Riccardo ; Valenzano, Adriano
Author_Institution :
Politecnico di Torino
Keywords :
Communication industry; Communication system control; Communication system security; Computer network reliability; Data communication; Formal specifications; Manufacturing systems; Production facilities; Protocols; Prototypes;
Conference_Titel :
Emerging Technologies and Factory Automation, 1992. IEEE International Workshop on
Print_ISBN :
0-7803-0886-7
DOI :
10.1109/ETFA.1992.683278