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]
Abstract is missing.