DocumentCode :
2789556
Title :
Proceedings Seventh International Conference on Real-Time Computing Systems and Applications
fYear :
2000
fDate :
12-14 Dec. 2000
Abstract :
The following topics were covered: formal methods; real-time systems; databases; communications; and scheduling
Keywords :
database management systems; formal specification; performance evaluation; processor scheduling; real-time systems; communications; databases; formal methods; real-time applications; real-time computer systems; real-time systems; scheduling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location :
Cheju Island, South Korea
ISSN :
1530-1427
Print_ISBN :
0-7695-0930-4
Type :
conf
DOI :
10.1109/RTCSA.2000.896364
Filename :
896364
Link To Document :
بازگشت