Modeling and verification of dynamic command scheduling for real-time memory controllers

Y. Li, B. Akesson, K. Lampka, K.G.W. Goossens

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
1 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Modeling and verification of dynamic command scheduling for real-time memory controllers'. Samen vormen ze een unieke vingerafdruk.

Computer Science