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

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

[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
同作者推荐
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯