Detail publikace
IT and formal methods in process control
BRADÁČ, Z. ZEZULKA, F.
Anglický název
IT and formal methods in process control
Typ
článek ve sborníku ve WoS nebo Scopus
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.
Klíčová slova anglicky
formal specification, safety, IT,
Rok RIV
2001
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
Počet stran
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"
}