Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
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
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" }