Real-time operating system modelling and simulation using systemC

Ke Yu. Real-time operating system modelling and simulation using systemC. PhD thesis, University of York, UK, 2010. [doi]

Abstract

Abstract is missing.