形式化验证技术

作品数：15被引量：47H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴尽昭周建涛叶新铭史美林郭建更多>>
相关机构：广西民族大学中国科学院成都计算机应用研究所西北工业大学国防科学技术大学更多>>
相关期刊：《计算机工程与设计》《太原师范学院学报（自然科学版）》《信息与电脑（理论版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广西教育厅科研项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

主题关系类型

  • 共现主题
  • 被引主题
  • 引用主题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
形式化验证
查看相关作品
作品数：548被引量：1339H指数：16
相关主题：形式化验证方法 形式化 安全协议 形式化方法 定理证明
相关领域：自动化与计算机技术
形式化
查看相关作品
作品数：5172被引量：11555H指数：35
相关主题：形式化方法 形式化验证 形式化描述 形式化分析 安全协议
相关领域：自动化与计算机技术 文化科学
安全协议
查看相关作品
作品数：1803被引量：3378H指数：19
相关主题：网络安全协议 网络安全 形式化分析 电子商务 IP安全协议
相关领域：自动化与计算机技术 电子电信
等价性检验
查看相关作品
作品数：33被引量：63H指数：4
相关主题：等价性 组合电路 BDD 时序电路 集成电路
相关领域：自动化与计算机技术 电子电信
硬件设计
查看相关作品
作品数：5589被引量：9599H指数：25
相关主题：软件开发 软硬件设计 软件设计 系统硬件设计 控制系统
相关领域：自动化与计算机技术 电子电信
时态逻辑
查看相关作品
作品数：196被引量：349H指数：8
相关主题：线性时态逻辑 时态 自动机 形式化验证 模态逻辑
相关领域：自动化与计算机技术
编程范式
查看相关作品
作品数：17被引量：39H指数：3
相关主题：大数据 MAPREDUCE AOP 面向对象 聚类
相关领域：自动化与计算机技术
SPIN
查看相关作品
作品数：1246被引量：1205H指数：14
相关主题：POLARIZED PHYSICS DEPENDENT PROMELA SPI
相关领域：理学
编程
查看相关作品
作品数：40953被引量：52241H指数：43
相关主题：程序设计 可编程逻辑器件 编程语言 编程方法 存储器
相关领域：自动化与计算机技术
形式化验证方法
查看相关作品
作品数：51被引量：233H指数：7
相关主题：形式化验证 源代码 安全协议 形式化描述 形式化方法
相关领域：自动化与计算机技术
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部