Detail publikace

Formal specification od hierarchical decentralized control systems

BRADÁČ, Z.

Originální název

Formal specification od hierarchical decentralized control systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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.

Rok RIV

2001

Vydáno

26. 4. 2001

Nakladatel

VŠB - TU Ostrava

Místo

Ostrava

ISBN

80-7078-890-9

Kniha

International conference ASR´2001

Strany od

8

Strany do

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