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