发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - San Francisco, CA, USA (2009.04.13-2009.04.16)] 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium - A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata

[IEEE 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - San Francisco, CA, USA (2009.04.13-2009.04.16)] 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium - A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata

Madl, Gabor; Dutt, Nikil; Abdelwahed, Sherif

作者Madl, Gabor; Dutt, Nikil; Abdelwahed, Sherif
文件大小506.77KB
发表时间2009
DOI10.1109/RTAS.2009.32
页码255-264

← 返回【学霸图书馆】主页