Overhead-aware compositional analysis of real-time systems.
Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky
VenueARTAS
Year2013
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/PhanXLLS13 ↗
Browse the full RTAS paper archive.