Formalization and Verification of the Powerlink Protocol Using CSP

2016 23rd Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2016.052 ◽

2016 ◽

Cited By ~ 2

Author(s):

Haiping Pang ◽

Ju Li ◽

Yijia Ruan ◽

Yanhong Huang ◽

Jianqi Shi ◽

...

Download Full-text