PLC Modeling and Checking Based on Formal Method

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

Google-based Impact Factor: 1.22
Citations h5-index & Ranking

Journals Menu

"PLC Modeling and Checking Based on Formal Method"
written by Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang,
published by Journal of Software Engineering and Applications, Vol.3 No.11, 2010

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Research and Application of OPC Technology in real-time Communication between Host and SIEMENS PLC based on LabView
	International Core Journal of Engineering, 2017

[2]	计算机技术在白酒生产及酒类饮品下游营销中的应用
	2016

[3]	基于 Simulink 与 S7-200 PLC 的温度控制系统设计
	农机化研究, 2014

[4]	Hardware in the loop simulation for distributed automation systems
	Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on. IEEE, 2012

[5]	ACase STUDY IN COMPOSITIONAL MODEL-CHECKING OF HIERARCHICAL PLC PROGRAMS

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Home

About SCIRP

Service

Policies