Detail publikačního výsledku

Specifications of embedded systems

ŠVÉDA, M.

Originální název

Specifications of embedded systems

Anglický název

Specifications of embedded systems

Druh

Učebnice

Originální abstrakt

Lecture notes for SVS course

Anglický abstrakt

Lecture notes for SVS course

Klíčová slova

reactive systems, real-time systems, temporal logic, time models, real-time temporal logic

Klíčová slova v angličtině

reactive systems, real-time systems, temporal logic, time models, real-time temporal logic

Autoři

ŠVÉDA, M.

Vydáno

16.12.2002

Místo

Brno

Kniha

Učební texty pro předmět SVS, obor IT

Strany počet

52

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