国际科技合作与交流专项项目(2008DFA11940)

作品数：11被引量：63H指数：5
导出分析报告
相关作者：薛锦云石海鹤游珍王昌晶杨乐更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>
相关期刊：《中国科学：信息科学》《计算机与现代化》《武汉大学学报（理学版）》《计算机研究与发展》更多>>
相关主题：PAR方法PAR形式化方法形式化推导规约更多>>
相关领域：自动化与计算机技术农业科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
形式化
查看相关作品
作品数：5172被引量：11555H指数：35
相关主题：形式化方法 形式化验证 形式化描述 形式化分析 安全协议
相关领域：自动化与计算机技术 文化科学
PAR方法
查看相关作品
作品数：43被引量：93H指数：6
相关主题：循环不变式 APLA PAR平台 APLA语言 形式化推导
相关领域：自动化与计算机技术
形式化方法
查看相关作品
作品数：864被引量：2370H指数：18
相关主题：形式化 安全协议 形式化验证 软件开发 B方法
相关领域：自动化与计算机技术
PAR
查看相关作品
作品数：924被引量：2658H指数：22
相关主题：DE VOB ATV LA DES
相关领域：医药卫生 农业科学
形式化推导
查看相关作品
作品数：23被引量：32H指数：3
相关主题：PAR方法 递推关系 形式化方法 HANOI塔 循环不变式
相关领域：自动化与计算机技术
ISABELLE
查看相关作品
作品数：14被引量：37H指数：4
相关主题：定理证明器 ISAR HOL PROOF REASONING
相关领域：自动化与计算机技术 艺术
禁忌搜索
查看相关作品
作品数：1725被引量：8357H指数：33
相关主题：禁忌搜索算法 遗传算法 车辆路径问题 启发式算法 模拟退火算法
相关领域：自动化与计算机技术
形式化开发
查看相关作品
作品数：25被引量：80H指数：5
相关主题：形式化开发方法 形式化方法 PAR方法 循环不变式 软件开发
相关领域：自动化与计算机技术
规约
查看相关作品
作品数：1615被引量：3742H指数：22
相关主题：通信规约 报文 变电站 通信 规约转换
相关领域：自动化与计算机技术
搜索
查看相关作品
作品数：54376被引量：104375H指数：76
相关主题：搜索引擎 搜索结果 搜索算法 搜索方法 存储介质
相关领域：自动化与计算机技术
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部