Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu. Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 55-62, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Conghua Zhou' in GoogleThis author has not been identified. Look up 'Yong Wang' in GoogleThis author has not been identified. Look up 'Meiling Cao' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Yang Liu' in Google

runs on WebDSL