DocumentCode :
2338737
Title :
A Formalization Of The FIP Protocol Using Estelle
Author :
Sisto, Riccardo ; Valenzano, Adriano
Author_Institution :
Politecnico di Torino
fYear :
1992
fDate :
11-14 Aug 1992
Firstpage :
348
Lastpage :
353
Keywords :
Communication industry; Communication system control; Communication system security; Computer network reliability; Data communication; Formal specifications; Manufacturing systems; Production facilities; Protocols; Prototypes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies and Factory Automation, 1992. IEEE International Workshop on
Print_ISBN :
0-7803-0886-7
Type :
conf
DOI :
10.1109/ETFA.1992.683278
Filename :
683278
Link To Document :
بازگشت