返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
中国
共有
1
条记录
页码:
1
/
1
每页显示:
10
记录
跳转:
出版社:"清华大学出版社"
作者:"肖力田, 肖楠, 李孟源"
出版年:"20220101"
PLC程序组合检测理论与方法
:肖力田, 肖楠, 李孟源
作者:
肖力田, 肖楠, 李孟源
出版社:
清华大学出版社
出版时间:
20220101
ISBN:
978-7-302-61758-7
索书号:
TM571.61/326
分类号:
TM571.61
页数:
15, 262页
价格:
CNY139.00
丛书:
中国航天空间信息技术系列
复本数:
在馆数:
累借天数:
累借次数:
本书主要内容包括软件检测验证需求背景和研究现状;阐述了组合检测体系架构、方法学和相关机理:按照IEC61131-3标准, 形式化定义PLC程序指令的指称语义及其函数, 形成统一语义和约束;分别从代码层、模型层、规约层和运行层组合检测验证PLC程序, 提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数, 以及定理证明验证技术框架;在计算资源有限的PLC上实现可信计算验证;相关性驱动优化检测流程方法等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
清华大学出版社
(
1
)
只显示前10条......
清华大学出版社
(
1
)
查看更多信息......
作者
肖力田, 肖楠, 李孟源
(
1
)
只显示前10条......
肖力田, 肖楠, 李孟源
(
1
)
查看更多信息......
出版年
20220101
(
1
)
只显示前10条......
20220101
(
1
)
查看更多信息......
中国
共有
1
条记录
页码:
1
/
1
每页显示:
10
记录
跳转: