机读格式显示(MARC)

• 000 01506nam 2200301 450

• 001 0001200709

• 005 20230224173600.0

• 010 __ |a 978-7-302-61758-7 |b 精装 |d CNY139.00

• 100 __ |a 20221230d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a PLC程序组合检测理论与方法 |A Plc Cheng Xu Zu He Jian Ce Li Lun Yu Fang Fa |d = Theory and method of PLC program combination checking |f 肖力田, 肖楠, 李孟源著 |z eng

• 210 __ |a 北京 |c 清华大学出版社 |d 2022

• 215 __ |a xv, 262页 |c 图 |d 24cm

• 225 2_ |a 中国航天科技前沿出版工程 |A Zhong Guo Hang Tian Ke Ji Qian Yan Chu Ban Gong Cheng |i 中国航天空间信息技术系列

• 320 __ |a 有书目 (第239-262页)

• 330 __ |a 本书内容包括软件检测验证需求背景和研究现状；阐述了组合检测体系架构、方法学和相关机理：按照IEC 61131-3标准，形式化定义PLC程序指令的指称语义及其函数，形成统一语义和约束；分别从代码层、模型层、规约层和运行层组合检测验证PLC程序，提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数，以及定理证明验证技术框架；在计算资源有限的PLC上实现可信计算验证；相关性驱动优化检测流程方法等。

• 410 _0 |1 2001 |a 中国航天科技前沿出版工程 |i 中国航天空间信息技术系列

• 510 1_ |a Theory and method of PLC program combination checking |z eng

• 606 0_ |a PLC技术 |A Plc Ji Shu |x 程序设计

• 690 __ |a TM571.61 |v 5

• 701 _0 |a 肖力田 |A Xiao Li Tian |4 著

• 701 _0 |a 肖楠 |A Xiao Nan |c (女) |4 著

• 701 _0 |a 李孟源 |A Li Meng Yuan |c (女) |4 著

• 801 _0 |a CN |b ZPHC |c 20221230

• 905 __ |a ZPHC |d TM571.61/66