Publication 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

Type

conference paper

Language

English

Original 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.

RIV year

2003

Released

1. 12. 2003

Publisher

TU Maribor

Location

Maribor, Slovenia

ISBN

0-7803-7853-9

Book

IEEE ICIT 2003 Proceedings

Pages from

891

Pages to

895

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