Format:
XIV, 338 S.
,
Ill., graph. Darst.
ISBN:
0792398947
Series Statement:
The Kluwer international series in engineering and computer science 395 : Real-time systems
Note:
Literaturverz.: S. [318] - 328
Language:
English
Subjects:
Computer Science
Keywords:
Echtzeitsystem
;
Verifikation
;
Echtzeitsystem
;
Systemanalyse
;
Echtzeitsystem
;
Spezifikation
URL:
http://www.loc.gov/catdir/enhancements/fy0813/97009124-d.html
URL:
http://www.loc.gov/catdir/enhancements/fy0813/97009124-t.html
Bookmarklink