Detail publikace
Specifications of embedded systems
ŠVÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002.
Název česky
Specifikace vestavěných systémů
Typ
učebnice
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Klíčová slova
reaktivní systémy, systémy pracující v reálném čase, temporální logika, časové modely, temporální logika reálného času
Abstrakt
Přednáškové texty pro kurz SVS
Rok
2002
Strany
52
Kniha
Učební texty pro předmět SVS, obor IT
Místo
Brno, CZ