Using LOTOS in the specification of industrial bus communication protocols

  1. Mariño, P.
  2. Domínguez, M.A.
  3. Poza, F.
  4. Vázquez, F.
Journal:
Computer Networks

ISSN: 1389-1286

Year of publication: 2004

Volume: 45

Issue: 6

Pages: 767-799

Type: Article

DOI: 10.1016/J.COMNET.2004.03.029 GOOGLE SCHOLAR