Verification of instrumentation techniques for resource management of real-time systems

Zhenyu Tan, William Leal, Lonnie R. Welch. Verification of instrumentation techniques for resource management of real-time systems. Journal of Systems and Software, 80(7):1015-1022, 2007. [doi]

Abstract

Abstract is missing.