Journal of Software Engineering and Applications

Vol.3 No.11(2010), Paper ID 3204, 6 pages

DOI:10.4236/jsea.2010.311124

 

PLC Modeling and Checking Based on Formal Method

 

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

 

 

Copyright © 2010 Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


Y. Zheng, G. Luo, J. Sun, J. Zhang and Z. Wang, "PLC Modeling and Checking Based on Formal Method," Journal of Software Engineering and Applications, Vol. 3 No. 11, 2010, pp. 1054-1059. doi: 10.4236/jsea.2010.311124.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.