Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi. Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. In Zhenhua Duan, C.-H. Luke Ong, editors, 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. pages 142-149, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Yanhong Huang' in GoogleThis author has not been identified. Look up 'Yongxin Zhao' in GoogleThis author has not been identified. Look up 'Longfei Zhu' in GoogleThis author has not been identified. Look up 'Qin Li' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in Google

runs on WebDSL