Timed RTOS Modeling for Embedded System Design.
Zhengting He, Aloysius K. Mok, Cheng Peng
VenueARTAS
Year2005
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/HeMP05 ↗
Browse the full RTAS paper archive.