IEEE - Institute of Electrical and Electronics Engineers, Inc. - Application of formal description techniques in the framework of factory communications

1999 7th IEEE Conference on Emerging Technologies and Factory Automation. Proceedings ETFA'99

Author(s): Marino, P. ; Dominguez, M.A. ; Poza, F. ; Nogueira, J.B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Barcelona, Spain, Spain
Conference Date: 18 October 1999
Volume: 2
ISBN (Paper): 0-7803-5670-5
DOI: 10.1109/ETFA.1999.813083
Regular:

In this work the protocol WorldFIP for industrial communication networks is specified with the formal specification language LOTOS. The paper introduces the main features of WorldFIP particularly... View More

Advertisement