Detail publikace

Specifications of embedded systems

ŠVÉDA, M. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno: 2002. p. 0-0.
Název česky
Specifikace vestavěných systémů
Typ
učebnice
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

reaktivní systémy, systémy pracující v reálném čase, temporální logika, časové modely, temporální logika reálného času

Abstrakt

Přednáškové texty pro kurz SVS

Rok
2002
Strany
52
Kniha
Učební texty pro předmět SVS, obor IT
Místo
Brno
BibTeX 
@misc{BUT67959,
  author="Miroslav {Švéda}",
  title="Specifications of embedded systems",
  booktitle="Učební texty pro předmět SVS, obor IT",
  year="2002",
  pages="52",
  address="Brno",
  note="textbook"
}
Nahoru