Detail publikace

Specification of Anticipative Problems in Control Engineering

ŠVÉDA Miroslav a ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, s. 79-83. ISBN 0-92183-43-14.
Název česky
Specifikace anticipativních problémů v řídicí technice
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Zezulka František, doc. Ing., CSc. (UAMT FEI VUT)
Abstrakt

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

Rok
1996
Strany
79-83
Kniha
Advances in Modelling of Anticipative Systems
ISBN
0-92183-43-14
Vydavatel
International Institute of Informacs and Systemics
Místo
Baden-Baden, DE
BibTeX 
@INBOOK{FITPUB6483,
   author = "Miroslav \v{S}v\'{e}da and Franti\v{s}ek Zezulka",
   title = "Specification of Anticipative Problems in Control Engineering",
   pages = "79--83",
   booktitle = "Advances in Modelling of Anticipative Systems",
   year = 1996,
   location = "Baden-Baden, DE",
   publisher = "International Institute of Informacs and Systemics",
   ISBN = "0-92183-43-14",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6483"
}
Nahoru