Publication result detail

Formal Specification in Automation Engineering

BRADÁČ, Z., ZEZULKA, F.

Original Title

Formal Specification in Automation Engineering

English Title

Formal Specification in Automation Engineering

Type

Paper in proceedings (conference paper)

Original Abstract

Contribution deals with introduction of formal specification for automation systems design und implementation.

English abstract

Contribution deals with introduction of formal specification for automation systems design und implementation.

Key words in English

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

Authors

BRADÁČ, Z., ZEZULKA, F.

Released

01.01.2001

Publisher

Technical University of Maribor

Location

Maribor

ISBN

86-435-041

Book

Proc. of International Summer School of Automation ´01

Pages from

98

Pages count

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