Title :
Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software
Abstract :
The following topics were dealt with: real-time operating systems and software; scheduling; timing analysis; real-time benchmarks; system design; concurrency control; and formal methods
Keywords :
concurrency control; formal specification; operating systems (computers); program testing; real-time systems; scheduling; OS; concurrency control; formal methods; real-time benchmarks; real-time operating systems; scheduling; system design; timing analysis;
Conference_Titel :
Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on
Conference_Location :
Seattle, WA, USA
Print_ISBN :
0-8186-5710-3
DOI :
10.1109/RTOSS.1994.292577
