Title :
Proceedings Seventh International Conference on Real-Time Computing Systems and Applications
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;
Conference_Titel :
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location :
Cheju Island, South Korea
Print_ISBN :
0-7695-0930-4
DOI :
10.1109/RTCSA.2000.896364