Title :
Proceedings Real-Time Systems Symposium
Abstract :
The following topics were dealt with: scheduling and resources allocation; databases and resource management; communications; compilers; formal methods; experimental systems and applications; tools; formal approaches and languages; and operating systems and communications
Keywords :
database management systems; formal specification; operating systems (computers); program compilers; real-time systems; resource allocation; scheduling; communications; compilers; databases; experimental systems; formal languages; formal methods; operating systems; real-time systems; resource management; resources allocation; scheduling; tools;
Conference_Titel :
Real-Time Systems Symposium, 1994., Proceedings.
Conference_Location :
San Juan, Puerto Rico, USA
Print_ISBN :
0-8186-6600-5
DOI :
10.1109/REAL.1994.342736
