• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
PLC程序组合检测理论与方法
    
 
作者: 肖力田 , 肖楠 , 李孟源 著
分册:  
出版信息: 北京   清华大学出版社  2022
页数: 15,262页
开本: 24cm
丛书名: 中国航天空间信息技术系列
单 册:
中图分类: TM571.61
科图分类:
主题词: PLC技术--程序设计
电子资源:
ISBN: 978-7-302-61758-7
000 01454nam0 2200301 450
001 134325722
005 20130101011324.49
010    @a978-7-302-61758-7@b精装@dCNY139.00
035    @a(A100000NLC)012155161
049    @aA100000NLC@bUCS01011703801@c012155161@dNLC01
100    @a20230220d2022 em y0chiy0110 ea
101 0  @achi
102    @aCN@b110000
105    @aa z 000yy
200 1  @aPLC程序组合检测理论与方法@9PLC cheng xu zu he jian ce li lun yu fang fa@b专著@dTheory and method of PLC program combination checking@f肖力田,肖楠,李孟源著@zeng
210    @a北京@c清华大学出版社@d2022
215    @a15,262页@c彩照@d24cm
225 1  @a中国航天空间信息技术系列
300    @a中国航天科技前沿出版工程
330    @a本书主要内容包括软件检测验证需求背景和研究现状;阐述了组合检测体系架构、方法学和相关机理:按照IEC61131-3标准,形式化定义PLC程序指令的指称语义及其函数,形成统一语义和约束;分别从代码层、模型层、规约层和运行层组合检测验证PLC程序,提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数,以及定理证明验证技术框架;在计算资源有限的PLC上实现可信计算验证;相关性驱动优化检测流程方法等。
510 1  @aTheory and method of PLC program combination checking@zeng
606 0  @aPLC技术@x程序设计
690    @aTM571.61@v5
701  0 @a肖力田@9xiao li tian@f(1961-)@4著
701  0 @a肖楠@9xiao nan@c(信息技术)@4著
701  0 @a李孟源@9li meng yuan@f(1962-)@4著
801  2 @aCN@bOLCC@c20230324
905    @a241250@dTM571.61@e123
    
    PLC程序组合检测理论与方法=Theory and method of PLC program combination checking/肖力田,肖楠,李孟源著.-北京:清华大学出版社,2022
    15,262页:彩照;24cm.-(中国航天空间信息技术系列)
    中国航天科技前沿出版工程
    
    ISBN 978-7-302-61758-7(精装):CNY139.00
    本书主要内容包括软件检测验证需求背景和研究现状;阐述了组合检测体系架构、方法学和相关机理:按照IEC61131-3标准,形式化定义PLC程序指令的指称语义及其函数,形成统一语义和约束;分别从代码层、模型层、规约层和运行层组合检测验证PLC程序,提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数,以及定理证明验证技术框架;在计算资源有限的PLC上实现可信计算验证;相关性驱动优化检测流程方法等。
●
相关链接


正题名:PLC程序组合检测理论与方法     索取号:TM571.61/123         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1976888   219768883   样本书库/ [索取号:TM571.61/123] 在馆    
2 1976889   219768892   理科库/ [索取号:TM571.61/123] 在馆    
3 1976890   219768909   理科库/ [索取号:TM571.61/123] 在馆    
商丘师范学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有