Publication 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

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.

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 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",
  annote="Contribution deals with introduction of formal specification for automation systems design und implementation.",
  address="Technical University of Maribor",
  booktitle="Proc. of International Summer School of Automation ´01",
  chapter="3153",
  institution="Technical University of Maribor",
  year="2001",
  month="january",
  pages="98",
  publisher="Technical University of Maribor",
  type="conference paper"
}