Detail publikačního výsledku

IT and formal methods in process control

BRADÁČ, Z., ZEZULKA, F.

Originální název

IT and formal methods in process control

Anglický název

IT and formal methods in process control

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Klíčová slova v angličtině

formal specification, safety, IT,

Autoři

BRADÁČ, Z., ZEZULKA, F.

Vydáno

01.01.2001

Nakladatel

VŠCHT Pardubice, STU Bratislava

Místo

Štrbské pleso

ISBN

80-227-154

Kniha

Proceedings of 13th International Conference on Process Control 2001

Strany od

38

Strany počet

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