Detail publikace

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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.

Rok RIV

2003

Vydáno

1. 12. 2003

Nakladatel

TU Maribor

Místo

Maribor, Slovenia

ISBN

0-7803-7853-9

Kniha

IEEE ICIT 2003 Proceedings

Strany od

891

Strany do

895

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"
}