Result Details
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.
Type
textbook
Language
English
Authors
Abstract
Lecture notes for SVS course
Keywords
reactive systems, real-time systems, temporal logic, time models, real-time temporal logic
Published
2002
Pages
52
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"
}
Projects
Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Departments