Validating programmable logic controller systems with duration calculus

	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.