Publication Details

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.

Czech title

Specifikace vestavěných systémů

Type

textbook

Language

English

Authors

Švéda Miroslav, prof. Ing., CSc. (UTKO)

Keywords

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

Abstract

Lecture notes for SVS course

Published

2002

Pages

Book

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

Place

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