Detail publikace

Specifications of embedded systems

ŠVÉDA, M.

Originální název

Specifications of embedded systems

Typ

učebnice

Jazyk

angličtina

Originální abstrakt

Lecture notes for SVS course

Klíčová slova

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

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",
  note="textbook"
}