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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2601813
بازگشت