Publication detail

Formal Specification in Automation Engineering

BRADÁČ, Z., ZEZULKA, F.

Original Title

Formal Specification in Automation Engineering

Type

conference paper

Language

English

Original 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.

RIV year

2001

Released

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

102

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