DocumentCode
3507595
Title
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)
fYear
1999
fDate
1-3 Dec. 1999
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE
Conference_Location
Phoenix, AZ, USA
ISSN
1052-8725
Print_ISBN
0-7695-0475-2
Type
conf
DOI
10.1109/REAL.1999.818823
Filename
818823
Link To Document