Detail publikačního výsledku

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

Druh

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

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 v angličtině

formal specification , SW testing, models, requirement engineering, Petri Nets

Autoři

BRADÁČ, Z., ZEZULKA, F.

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

Strany od

98

Strany počet

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",
  pages="5",
  publisher="Technical University of Maribor",
  address="Maribor",
  isbn="86-435-041"
}