Detail publikace

IT and formal methods in process control

BRADÁČ, Z., ZEZULKA, F.

Originální název

IT and formal methods in process control

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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.

Rok RIV

2001

Vydáno

1. 1. 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 do

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