Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye. Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 223-226, IEEE, 2012. [doi]

This author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Longfei Zhu' in GoogleThis author has not been identified. Look up 'Yanhong Huang' in GoogleThis author has not been identified. Look up 'Jian Guo' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Huixing Fang' in GoogleThis author has not been identified. Look up 'Xin Ye' in Google

runs on WebDSL