Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠVÉDA, M.
Original Title
Specifications of embedded systems
Type
textbook
Language
English
Original Abstract
Lecture notes for SVS course
Keywords
reactive systems, real-time systems, temporal logic, time models, real-time temporal logic
Authors
Released
16. 12. 2002
Location
Brno
Pages count
52
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", note="textbook" }