Yonghui Li, Benny Akesson, Kai Lampka, Kees G. W. Goossens. Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016. pages 85-96, IEEE Computer Society, 2016. [doi]
Abstract is missing.