Lan Wu, Wei Zhang 0002. A Model Checking Based Approach to Bounding Worst-Case Execution Time for Multicore Processors. ACM Trans. Embedded Comput. Syst., 11(S2):56, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.