Publication detail

Specifications of embedded systems

ŠVÉDA, M.

Original Title

Specifications of embedded systems

Type

textbook

Language

English

Original Abstract

Lecture notes for SVS course

Keywords

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

Authors

ŠVÉDA, M.

Released

16. 12. 2002

Location

Brno

Pages count

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