Li, Y., Akesson, B., Lampka, K., & Goossens, K. (2016, April). Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 1-12. https://doi.org/10.1109/RTAS.2016.7461341
Chicago-Zitierstil (17. Ausg.)Li, Yonghui, Benny Akesson, Kai Lampka, und Kees Goossens. "Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers." 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Apr. 2016: 1-12. https://doi.org/10.1109/RTAS.2016.7461341.
MLA-Zitierstil (9. Ausg.)Li, Yonghui, et al. "Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers." 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2016, pp. 1-12, https://doi.org/10.1109/RTAS.2016.7461341.