Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhipeng Shao, HanYong Hao, Yuanyuan Ma, Chen Wang, Jiaxuan Fei. Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016. pages 244-251, IEEE, 2016. [doi]

This author has not been identified. Look up 'Zhipeng Shao' in GoogleThis author has not been identified. Look up 'HanYong Hao' in GoogleThis author has not been identified. Look up 'Yuanyuan Ma' in GoogleThis author has not been identified. Look up 'Chen Wang' in GoogleThis author has not been identified. Look up 'Jiaxuan Fei' in Google

runs on WebDSL