Detail výsledku

Specifications of embedded systems

ŠVÉDA, M. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno: 2002. 52 p.
Typ
učebnice
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc.
Abstrakt

Lecture notes for SVS course

Klíčová slova

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

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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru