华侨大学学报（自然科学版）2013，Vol.34Issue(3)：241-246,6.DOI:10.11830/ISSN.1000-5013.2013.03.0241
PLC程序形式化的设计与验证
Design and Verification on the PLC Program Based on Formal Methods
摘要
关键词
可编程逻辑控制器/形式化设计/Petri网/自动机/定理证明/模型验证分类
信息技术与安全科学引用本文复制引用
齐鹏飞,罗继亮,陈雪琨..PLC程序形式化的设计与验证[J].华侨大学学报（自然科学版）,2013,34(3):241-246,6.基金项目
国家青年自然科学基金资助项目(60904018) （60904018）
福建省高等学校新世纪优秀人才支持计划项目(11FJRC01) （11FJRC01）
福建省自然科学基金资助项目(2010J01339,2011J01352) （2010J01339,2011J01352）
福建省高校杰出青年科研人才培育计划项目(JA10004) （JA10004）
中央高校基本科研业务费专项基金资助项目(JB-SJ1006) （JB-SJ1006）
