Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella M. Atkins, Chan-Gun Lee
VenueARTAS
Year2008
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/YiWBMXAL08 ↗
Browse the full RTAS paper archive.