Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA. pages 137-146, IEEE Computer Society, 2008. [doi]
Abstract is missing.