Validating programmable logic controller systems with duration calculus | |
He, Anping; Wu, Jinzhao; Yang, Shihan; Zhou, Yongquan | |
刊名 | International Journal of Innovative Computing, Information and Control
![]() |
2013-11 | |
卷号 | 9期号:11页码:4519-4530 |
关键词 | Duration calculus EDC Hierarchical analysis PLC system Programmable logic Programmable logic controllers (PLC) Safety critical systems |
ISSN号 | 1349-4198 |
学科主题 | Computer Programming;Control Equipment;Mathematics; |
出版地 | Kamamoto |
语种 | 英语 |
内容类型 | 期刊论文 |
源URL | [http://ir.lzu.edu.cn/handle/262010/128166] ![]() |
专题 | 信息科学与工程学院_期刊论文 |
推荐引用方式 GB/T 7714 | He, Anping,Wu, Jinzhao,Yang, Shihan,et al. Validating programmable logic controller systems with duration calculus[J]. International Journal of Innovative Computing, Information and Control,2013,9(11):4519-4530. |
APA | He, Anping,Wu, Jinzhao,Yang, Shihan,&Zhou, Yongquan.(2013).Validating programmable logic controller systems with duration calculus.International Journal of Innovative Computing, Information and Control,9(11),4519-4530. |
MLA | He, Anping,et al."Validating programmable logic controller systems with duration calculus".International Journal of Innovative Computing, Information and Control 9.11(2013):4519-4530. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论