形式化描述技术

作品数：8被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔赵保华屈玉贵赵静王颖更多>>
相关机构：中国科学技术大学合肥工业大学上海交通大学北京邮电大学更多>>
相关期刊：《北京邮电大学学报》《微电子学与计算机》《通信学报》《通信技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金中国科学院院长基金更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164202被引量：8320308H指数：431
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
国家高技术研究发展计划
查看相关作品
作品数：254143被引量：1394178H指数：194
相关主题：数值模拟 水稻 仿真 遗传算法 机器人
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
安徽省自然科学基金
查看相关作品
作品数：32569被引量：166404H指数：79
相关主题：数值模拟 影响因素 遗传算法 预后 小鼠
相关领域：医药卫生 自动化与计算机技术 理学 农业科学 经济管理
国家高技术研究发展计划(2001AA112062)
查看相关作品
作品数：14被引量：26H指数：3
相关主题：通信协议 RSL 形式化描述 TCL 计算机网络
相关领域：自动化与计算机技术 电子电信
南通市应用研究计划项目
查看相关作品
作品数：947被引量：3953H指数：22
相关主题：化学修饰电极 玉米 直接乙醇燃料电池 力学性能 五味子
相关领域：自动化与计算机技术 医药卫生 电气工程 轻工技术与工程 电子电信
国家自然科学基金(60773041)
查看相关作品
作品数：100被引量：315H指数：8
相关主题：无线传感器网络 BASED_ON 移动代理 GRID 对等计算
相关领域：自动化与计算机技术 电子电信 理学 天文地球 文学
南通市应用研究计划项目(K2007013)
查看相关作品
作品数：3被引量：2H指数：1
相关主题：协议形式化描述 测试用例生成方法 B/S架构 RAISE规范语言 形式化描述
相关领域：自动化与计算机技术
江苏省高校自然科学研究项目(05KJD520166)
查看相关作品
作品数：3被引量：4H指数：1
相关主题：协议形式化描述 形式化描述 RSL 测试用例生成方法 RAISE规范语言
相关领域：自动化与计算机技术
国家教育部博士点基金(2000035802)
查看相关作品
作品数：20被引量：45H指数：4
相关主题：通信协议 路由协议 OSPF 网络协议 CSP
相关领域：自动化与计算机技术 电子电信
博士科研启动基金
查看相关作品
作品数：77609被引量：344356H指数：89
相关主题：数值模拟 影响因素 教学改革 性能研究 力学性能
相关领域：医药卫生 农业科学 理学 经济管理 文化科学
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部