Publication detail

IT and formal methods in process control

BRADÁČ, Z. ZEZULKA, F.

English title

IT and formal methods in process control

Type

conference paper

Language

en

Original abstract

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

English abstract

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

Keywords in English

formal specification, safety, IT,

RIV year

2001

Released

01.01.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 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",
  month="January",
  publisher="VŠCHT Pardubice, STU Bratislava",
  address="Štrbské pleso",
  isbn="80-227-154"
}