DocumentCode :
2662979
Title :
An Event Model for Deadline Verification of Hard Real-Time Systems
Author :
Gresser, Klaus
Author_Institution :
Technische Universitat Munchen
fYear :
1993
fDate :
22-24 June 1993
Firstpage :
118
Lastpage :
123
Keywords :
Delay; Dynamic scheduling; Optimal scheduling; Petri nets; Process control; Processor scheduling; Protocols; Real time systems; Scheduling algorithm; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
Conference_Location :
Oulu, Finland
ISSN :
1068-3070
Print_ISBN :
0-8186-4110-X
Type :
conf
DOI :
10.1109/EMWRT.1993.639067
Filename :
639067
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2662979
بازگشت