Regular Specifications of Resource Requirements for Embedded Control Software.
VenueARTAS
Year2008
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/AlurW08 ↗
Browse the full RTAS paper archive.
Browse the full RTAS paper archive.