Title :
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)
Abstract :
The following topics were dealt with: timing issues; scheduling algorithms; specification and verification; task coordinations; real time communications; system development; resource management; and distributed systems
Keywords :
formal specification; formal verification; processor scheduling; real-time systems; resource allocation; systems analysis; distributed systems; real time communications; resource management; scheduling algorithms; specification; system development; task coordinations; timing issues; verification;
Conference_Titel :
Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE
Conference_Location :
Phoenix, AZ, USA
Print_ISBN :
0-7695-0475-2
DOI :
10.1109/REAL.1999.818823
