Publication detail

Formal Specification in Automation Engineering

BRADÁČ, Z. ZEZULKA, F.

English title

Formal Specification in Automation Engineering

Type

conference paper

Language

en

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.

Keywords in English

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

RIV year

2001

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