Publication detail

IT and formal methods in process control

BRADÁČ, Z., ZEZULKA, F.

Original Title

IT and formal methods in process control

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.

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 from

38

Pages to

38

Pages count

1

Documents

BibTex


@inproceedings{BUT3152,
  author="Zdeněk {Bradáč} and František {Zezulka}",
  title="IT and formal methods in process control",
  annote="Contribution deals with utilisation of formal specification for HW/SW system design and modelling.",
  address="VŠCHT Pardubice, STU Bratislava",
  booktitle="Proceedings of 13th International Conference on Process Control 2001",
  chapter="3152",
  institution="VŠCHT Pardubice, STU Bratislava",
  year="2001",
  month="january",
  pages="38",
  publisher="VŠCHT Pardubice, STU Bratislava",
  type="conference paper"
}