Detail publikace

Formal Specification in Automation Engineering

BRADÁČ, Z., ZEZULKA, F.

Originální název

Formal Specification in Automation Engineering

Typ

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

Jazyk

angličtina

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

Rok RIV

2001

Vydáno

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

102

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