首页> 外文OA文献 >Towards the automatic verification of PLC programs written in Instruction List

【2h】

Towards the automatic verification of PLC programs written in Instruction List

机译：对于在指令列表中编写的pLC程序的自动验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
G. Canet; S. Couffin; J. -j. Lesage; A. Petit; Ph. Schnoebelen;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Monitoring system for the effective instruction based on the semi-automatic evaluation of programs during programming classroom lectures [J] . Satoru Kogure, Riki Nakamura, Kanae Makino, Research and practice in technology enhanced learning. . 2015,第1期

机译：基于课堂教学半自动程序评估的有效教学监控系统
2. Streaming transducers for algorithmic verification of single-pass list-processing programs [J] . Alur Rajeev, Pavol ?erny ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：流转换器，用于单遍列表处理程序的算法验证
3. Construction and Verification of PLC-Programs by LTL-Specification [J] . E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin Automatic Control and Computer Sciences . 2015,第7期

机译：通过LTL规范构造和验证PLC程序
4. Towards the automatic verification of PLC programs written in Instruction List [C] . Canet, G., Couffin, . 2000

机译：实现指令列表中编写的PLC程序的自动验证
5. A program evaluation of the effects of plcs on direct interactive instruction. [D] . Reyes, Deirdre. 2014

机译：对plcs对直接交互式指令的影响的程序评估。
6. Monitoring system for the effective instruction based on the semi-automatic evaluation of programs during programming classroom lectures [O] . Satoru Kogure, Riki Nakamura, Kanae Makino, -1

机译：基于课堂教学半自动程序评估的有效教学监控系统
7. On Verification of PLC-Programs Written in the LD-Language [O] . E. V. Kuzmin, V. A. Sokolov 2015

机译：验证LD语言编写的PLC程序

Towards the automatic verification of PLC programs written in Instruction List

著录项

引文网络

相似文献

相关主题

期刊订阅