Publication detail

IT and formal methods in process control

BRADÁČ, Z., ZEZULKA, F.

Original Title

IT and formal methods in process control

Type

conference paper

Language

English

Original Abstract

Contribution deals with utilisation of formal specification for HW/SW system design and modelling.

Key words in English

formal specification, safety, IT,

Authors

BRADÁČ, Z., ZEZULKA, F.

RIV year

2001

Released

1. 1. 2001

Publisher

VŠCHT Pardubice, STU Bratislava

Location

Štrbské pleso

ISBN

80-227-154

Book

Proceedings of 13th International Conference on Process Control 2001

Pages from

38

Pages to

38

Pages count

1

BibTex

@inproceedings{BUT3152,
  author="Zdeněk {Bradáč} and František {Zezulka}",
  title="IT and formal methods in process control",
  booktitle="Proceedings of 13th International Conference on Process Control 2001",
  year="2001",
  pages="1",
  publisher="VŠCHT Pardubice, STU Bratislava",
  address="Štrbské pleso",
  isbn="80-227-154"
}