Detail publikačního výsledku

Formal specification od hierarchical decentralized control systems

BRADÁČ, Z.

Originální název

Formal specification od hierarchical decentralized control systems

Anglický název

Formal specification od hierarchical decentralized control systems

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

This paper presents modern methods of description of decentarised control systems.

Anglický abstrakt

This paper presents modern methods of description of decentarised control systems.

Klíčová slova v angličtině

net, formal, decription, model

Autoři

BRADÁČ, Z.

Vydáno

26.04.2001

Nakladatel

VŠB - TU Ostrava

Místo

Ostrava

ISBN

80-7078-890-9

Kniha

International conference ASR´2001

Strany od

8

Strany počet

1

BibTex

@inproceedings{BUT6477,
  author="Zdeněk {Bradáč}",
  title="Formal specification od hierarchical decentralized control systems",
  booktitle="International conference ASR´2001",
  year="2001",
  pages="1",
  publisher="VŠB - TU Ostrava",
  address="Ostrava",
  isbn="80-7078-890-9"
}