Publication result detail

Formal Methods for Higher Reliability of the Industrial Automation

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

Original Title

Formal Methods for Higher Reliability of the Industrial Automation

English Title

Formal Methods for Higher Reliability of the Industrial Automation

Type

Paper in proceedings (conference paper)

Original Abstract

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

English abstract

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

Key words in English

formal method, reliability, control, PLC

Authors

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

Released

01.12.2003

Publisher

TU Maribor

Location

Maribor, Slovenia

ISBN

0-7803-7853-9

Book

IEEE ICIT 2003 Proceedings

Pages from

891

Pages count

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