Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jianliang Yi' in GoogleThis author has not been identified. Look up 'Honguk Woo' in GoogleThis author has not been identified. Look up 'James C. Browne' in GoogleThis author has not been identified. Look up 'Aloysius K. Mok' in GoogleThis author has not been identified. Look up 'Fei Xie' in GoogleThis author has not been identified. Look up 'Ella Atkins' in GoogleThis author has not been identified. Look up 'Chan-Gun Lee' in Google

runs on WebDSL