Detail publikace
Formal Specification in Automation Engineering
BRADÁČ, Z., ZEZULKA, F.
Originální název
Formal Specification in Automation Engineering
Anglický název
Formal Specification in Automation Engineering
Jazyk
en
Originální abstrakt
Contribution deals with introduction of formal specification for automation systems design und implementation.
Anglický abstrakt
Contribution deals with introduction of formal specification for automation systems design und implementation.
Dokumenty
BibTex
@inproceedings{BUT3153,
author="Zdeněk {Bradáč} and František {Zezulka}",
title="Formal Specification in Automation Engineering",
annote="Contribution deals with introduction of formal specification for automation systems design und implementation.",
address="Technical University of Maribor",
booktitle="Proc. of International Summer School of Automation ´01",
chapter="3153",
institution="Technical University of Maribor",
year="2001",
month="january",
pages="98",
publisher="Technical University of Maribor",
type="conference paper"
}