[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Formalization and Verification of the Powerlink Protocol Using CSP
Pang, Haiping, Li, Ju, Ruan, Yijia, Huang, Yanhong, Shi, Jianqi, Qin, ShengchaoYear:
2016
Language:
english
DOI:
10.1109/APSEC.2016.052
File:
PDF, 220 KB
english, 2016