Detail publikace

IT and formal methods in process control

Originální název

IT and formal methods in process control

Anglický název

IT and formal methods in process control

Jazyk

en

Originální abstrakt

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

Anglický abstrakt

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

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