The Application of the Formal Description Language LOTOS for the Design of Process Control Systems

Péter Wolkensdorfer, József Harangozó. The Application of the Formal Description Language LOTOS for the Design of Process Control Systems. In 23rd EUROMICRO Conference 97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary. pages 257-264, IEEE Computer Society, 1997. [doi]

@inproceedings{WolkensdorferH97,
  title = {The Application of the Formal Description Language LOTOS for the Design of Process Control Systems},
  author = {Péter Wolkensdorfer and József Harangozó},
  year = {1997},
  url = {http://csdl.computer.org/comp/proceedings/euromicro/1997/8129/00/81290257abs.htm},
  tags = {control systems, language design, design},
  researchr = {https://researchr.org/publication/WolkensdorferH97},
  cites = {0},
  citedby = {0},
  pages = {257-264},
  booktitle = {23rd EUROMICRO Conference  97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8129-2},
}