(机械专业)外文翻译可视化的plc程序使用xml本科毕业设计.docVIP

  • 1
  • 0
  • 约2.9万字
  • 约 20页
  • 2017-02-04 发布于辽宁
  • 举报

(机械专业)外文翻译可视化的plc程序使用xml本科毕业设计.doc

(机械专业)外文翻译可视化的plc程序使用xml本科毕业设计

Visualization of PLC Programs using XML M. Bani Younis and G. Frey Juniorprofessorship Agentenbased Automation University of Kaiserslautem P. 0. Box 3049, D-67653 Kaiserslautem, Germany Abstract - Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档