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

English Title

Formal Methods for Higher Reliability of the Industrial Automation

Type

conference paper

Language

en

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.

RIV year

2003

Released

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

Documents

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