Názov
Real - Time Systems
Autor
Olderog, Ernst-Rüdiger; Dierks, Henning
Vydavateľstvo
Cambridge: Cambridge University Press
Tematická oblasť
Informačné technológie
Rok
2008
Počet strán
320 s.
ISBN
978-0-521-88333-7
Klučové slová
systém v reálnom čase, časový automat, vstavaný systém, matematický model, automatická verifikácia
Abstrakt
Publikácia prináša informácie pre študentov a doktorandov v oblasti informatiky o podstate systémov v reálnom čase a ich fungovaní.