Publication Details
Specifications of embedded systems
ŠVÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002.
Czech title
Specifikace vestavěných systémů
Type
textbook
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Keywords
reactive systems, real-time systems, temporal logic, time models, real-time temporal logic
Abstract
Lecture notes for SVS course
Published
2002
Pages
52
Book
Učební texty pro předmět SVS, obor IT
Place
Brno, CZ