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
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
Back to top