Detail publikace

Formal Methods for Higher Reliability of the Industrial Automation

Originální název

Formal Methods for Higher Reliability of the Industrial Automation

Anglický název

Formal Methods for Higher Reliability of the Industrial Automation

Jazyk

en

Originální abstrakt

Article is describing possibilities how to assure higher reliability of control system.

Anglický abstrakt

Article is describing possibilities how to assure higher reliability of control system.

Dokumenty

BibTex 


@inproceedings{BUT8902,
  author="Zdeněk {Bradáč} and Pavel {Kučera} and František {Zezulka}",
  title="Formal Methods for Higher Reliability of the Industrial Automation",
  annote="Article is describing possibilities how to assure higher reliability of control system.",
  address="TU Maribor",
  booktitle="IEEE ICIT 2003 Proceedings",
  chapter="8902",
  institution="TU Maribor",
  year="2003",
  month="december",
  pages="891",
  publisher="TU Maribor",
  type="conference paper"
}