![](/img/cover-not-exists.png)
[IEEE 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Vienna, Austria (2016.8.1-2016.8.3)] 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT
Shao, Zhipeng, Hao, HanYong, Ma, Yuanyuan, Wang, Chen, Fei, JiaxuanYear:
2016
Language:
english
DOI:
10.1109/QRS-C.2016.37
File:
PDF, 650 KB
english, 2016