DocumentCode
2601813
Title
1993 Proceedings Real-Time Systems Symposium
fYear
1993
fDate
1-3 Dec. 1993
Abstract
The following topics are dealt with: formal methods and tools; communication; databases and information processing; operating systems; architecture and implementation; scheduling; software implementation and tools; experimental systems and applications; specification and verification
Keywords
computer architecture; database management systems; formal specification; formal verification; online operation; operating systems (computers); real-time systems; scheduling; software engineering; architecture; communication; databases; experimental systems; formal methods; implementation; information processing; operating systems; real-time systems; scheduling; software implementation; specification; tools; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location
Raleigh Durham, NC, USA
Print_ISBN
0-8186-4480-X
Type
conf
DOI
10.1109/REAL.1993.393521
Filename
393521
Link To Document