标题:Formalization and verification of the powerlink protocol using CSP
作者:Pang H.[1];Li J.[1];Ruan Y.[1];Huang Y.[3];Shi J.[3];Qin S.[2]
作者全称:Pang, Haiping[1];Li, Ju[1];Ruan, Yijia[1];Huang, Yanhong[3];Shi, Jianqi[3];Qin, Shengchao[2]
通讯作者:Huang, Yanhong(yhhuang@sei.ecnu.edu.cn)
通讯作者地址:Huang, Y.; National Trusted Embedded Software Engineering Technology Research Center, East China Normal UniversityChina; 电子邮件: yhhuang@sei.ecnu.edu.cn
出版年:2017
页码:321-328
关键词:Analysis; Modelling; Powerlink Protocol; Simulation; Verification
摘要:As an integral part of the Ethernet standard IEEE 802.3, the Ethernet Powerlink protocol is widely used in the automation industry. It is a software-b 更多
收录类别:SCOPUS;EI
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:
TOP