Detail publikace

Specification of Anticipative Problems in Control Engineering

ZEZULKA, F., ŠVÉDA, M. Specification of Anticipative Problems in Control Engineering. In Intersymp 96. Canada: George E. Lasker, 1997. p. 79 ( p.)ISBN: 0-921836-4.
Název česky
Specifikace anticipativních problémů v řídicí technice
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Zezulka František, prof. Ing., CSc.
Abstrakt

Časové modely v temporálních logikách pro specifikace anticipativních systémů v řídicí technice

Rok
1997
Strany
5
Kniha
Intersymp 96
ISBN
0-921836-4
Vydavatel
George E. Lasker
Místo
Canada
BibTeX 
@inbook{BUT53615,
  author="Miroslav {Švéda} and František {Zezulka}",
  title="Specification of Anticipative Problems in Control Engineering",
  booktitle="Intersymp 96",
  year="1997",
  publisher="George E. Lasker",
  address="Canada",
  pages="5",
  isbn="0-921836-4"
}
Nahoru