Detail publikačního výsledku

Formal Methods for Higher Reliability of the Industrial Automation

BRADÁČ, Z., KUČERA, P., ZEZULKA, F.

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

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Klíčová slova v angličtině

formal method, reliability, control, PLC

Autoři

BRADÁČ, Z., KUČERA, P., ZEZULKA, F.

Vydáno

01.12.2003

Nakladatel

TU Maribor

Místo

Maribor, Slovenia

ISBN

0-7803-7853-9

Kniha

IEEE ICIT 2003 Proceedings

Strany od

891

Strany počet

5

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",
  booktitle="IEEE ICIT 2003 Proceedings",
  year="2003",
  pages="5",
  publisher="TU Maribor",
  address="Maribor, Slovenia",
  isbn="0-7803-7853-9"
}