Detail publikace
Formal Specification in Automation Engineering
BRADÁČ, Z. ZEZULKA, F.
Anglický název
Formal Specification in Automation Engineering
Typ
článek ve sborníku ve WoS nebo Scopus
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.
Klíčová slova anglicky
formal specification , SW testing, models, requirement engineering, Petri Nets
Rok RIV
2001
Vydáno
01.01.2001
Nakladatel
Technical University of Maribor
Místo
Maribor
ISBN
86-435-041
Kniha
Proc. of International Summer School of Automation ´01
Počet stran
5
BIBTEX
@inproceedings{BUT3153,
author="Zdeněk {Bradáč} and František {Zezulka},
title="Formal Specification in Automation Engineering",
booktitle="Proc. of International Summer School of Automation ´01",
year="2001",
month="January",
publisher="Technical University of Maribor",
address="Maribor",
isbn="86-435-041"
}