Detail publikace

Formal Specification in Automation Engineering

Originální název

Formal Specification in Automation Engineering

Anglický název

Formal Specification in Automation Engineering

Jazyk

en

Originální abstrakt

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

Anglický abstrakt

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

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