A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu. A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. pages 29-36, IEEE, 2013. [doi]

This author has not been identified. Look up 'Longfei Zhu' in GoogleThis author has not been identified. Look up 'Peng Liu' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Zheng Wang' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in Google

runs on WebDSL