PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164202被引量：8320308H指数：431
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
国家重点基础研究发展计划
查看相关作品
作品数：273390被引量：1705681H指数：254
相关主题：数值模拟 英文 力学性能 气候变化 影响因素
相关领域：天文地球 医药卫生 理学 农业科学 自动化与计算机技术
国家高技术研究发展计划
查看相关作品
作品数：254143被引量：1394178H指数：194
相关主题：数值模拟 水稻 仿真 遗传算法 机器人
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
国家高技术研究发展计划(2007AA01Z143)
查看相关作品
作品数：13被引量：13H指数：2
相关主题：PROMELA 模型检测工具 英文 布尔逻辑 多项式
相关领域：自动化与计算机技术 电子电信 理学
美国GENECHIU基金
查看相关作品
作品数：12被引量：33H指数：4
相关主题：ARP协议 ARP欺骗 新鲜性 SPIN PROMELA
相关领域：自动化与计算机技术 电子电信
中央高校基本科研业务费专项资金
查看相关作品
作品数：223850被引量：1261023H指数：200
相关主题：数值模拟 影响因素 实证研究 高校 大学生
相关领域：经济管理 文化科学 自动化与计算机技术 政治法律 理学
陕西省教育厅自然科学基金(11JK1037)
查看相关作品
作品数：2被引量：8H指数：1
相关主题：层次分析法 D-S证据理论 D-S 加权 数据融合
相关领域：自动化与计算机技术
国家自然科学基金(60474026)
查看相关作品
作品数：11被引量：29H指数：3
相关主题：加权最小二乘法 适应控制器 UML PROMELA 统一建模语言
相关领域：自动化与计算机技术 电气工程 电子电信 金属学及工艺
国家自然科学基金(6087311860973147)
查看相关作品
作品数：2被引量：1H指数：1
相关主题：性能检测 检测器 马尔可夫链 系统结构 时序逻辑
相关领域：自动化与计算机技术
国家自然科学基金(60673115)
查看相关作品
作品数：30被引量：82H指数：5
相关主题：WEB应用 测试用例 有限状态机 软件测试 FSM模型
相关领域：自动化与计算机技术 理学
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部