形式化开发方法

作品数：9被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张立臣陈广明陈生庆杨捷梅萌更多>>
相关机构：广东工业大学嘉应学院武汉大学同济大学更多>>
相关期刊：《井冈山大学学报（自然科学版）》《小型微型计算机系统》《计算机应用》《中国铁道科学》更多>>
相关基金：国家自然科学基金广东省高等学校自然科学研究重点项目广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164197被引量：8349380H指数：432
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
广东省高等学校自然科学研究重点项目(Z03024)
查看相关作品
作品数：57被引量：189H指数：8
相关主题：实时系统 形式化方法 数字图书馆 面向方面编程 RT-Z
相关领域：自动化与计算机技术 文化科学 环境科学与工程
广东省自然科学基金
查看相关作品
作品数：89185被引量：506100H指数：134
相关主题：英文 小鼠 影响因素 水稻 基因
相关领域：医药卫生 理学 自动化与计算机技术 农业科学 经济管理
广东省高等学校自然科学研究重点项目
查看相关作品
作品数：606被引量：2804H指数：24
相关主题：权函数 实时系统 权系数 HILBERT型积分不等式 HILBERT型不等式
相关领域：理学 自动化与计算机技术 医药卫生 生物学 农业科学
国家自然科学基金(6047407260174050)
查看相关作品
作品数：8被引量：31H指数：3
相关主题：本体语言 实时系统 XML 虚拟现实 可扩展标记语言
相关领域：自动化与计算机技术 天文地球
国家高技术研究发展计划
查看相关作品
作品数：254143被引量：1396218H指数：194
相关主题：数值模拟 水稻 仿真 遗传算法 机器人
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
广东省自然科学基金(04009465010059)
查看相关作品
作品数：3被引量：9H指数：1
相关主题：实时系统 基于UML 统一建模语言 言和 Z语言
相关领域：自动化与计算机技术
国家教育部博士点基金
查看相关作品
作品数：127947被引量：821492H指数：164
相关主题：数值模拟 遗传算法 神经网络 稳定性 仿真
相关领域：理学 自动化与计算机技术 医药卫生 农业科学 经济管理
“九五”国家科技攻关计划
查看相关作品
作品数：12004被引量：135859H指数：113
相关主题：小麦 水稻 塔里木盆地 选育 玉米
相关领域：农业科学 医药卫生 天文地球 自动化与计算机技术 生物学
国家自然科学基金(69873035)
查看相关作品
作品数：14被引量：24H指数：3
相关主题：软件工程 软件开发 软件系统 需求规格说明 需求规约
相关领域：自动化与计算机技术 建筑科学
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部