您的位置： 专家智库 > >

黎升洪

作品数：22 被引量：57H指数：4
供职机构：江西财经大学信息管理学院更多>>
发文基金：国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
相关领域：自动化与计算机技术经济管理文化科学电子电信更多>>

合作作者

领域

  • 8个自动化与计算...
  • 6个文化科学
  • 6个理学
  • 5个经济管理
  • 5个化学工程
  • 5个机械工程
  • 5个交通运输工程
  • 5个医药卫生
  • 5个农业科学
  • 4个哲学宗教
  • 4个生物学
  • 4个天文地球
  • 4个矿业工程
  • 4个冶金工程
  • 4个金属学及工艺
  • 4个动力工程及工...
  • 4个电子电信
  • 4个电气工程
  • 4个建筑科学
  • 4个水利工程

主题

  • 8个形式化
  • 7个语义
  • 7个UML
  • 7个WEB应用
  • 6个义学
  • 6个时态逻辑
  • 6个SPIN
  • 6个测试用例
  • 5个形式化方法
  • 5个有限状态机
  • 5个语义学
  • 5个状态机
  • 5个自动机
  • 5个线性时态逻辑
  • 5个OCL
  • 5个CTL
  • 5个LTL
  • 3个大型车
  • 3个大型车辆
  • 3个大型网络

机构

  • 9个江西财经大学
  • 8个上海大学
  • 6个杭州师范大学
  • 4个北京中医药大...
  • 4个成都理工大学
  • 4个东北财经大学
  • 4个东北大学
  • 4个佛山科学技术...
  • 4个贵州大学
  • 4个河北师范大学
  • 4个河海大学
  • 4个安徽大学
  • 3个安徽工业大学
  • 3个安徽医科大学
  • 3个北方工业大学
  • 3个北方民族大学
  • 3个北京工商大学
  • 3个长春理工大学
  • 3个川北医学院
  • 3个大理学院

作者

  • 9个黎升洪
  • 7个缪淮扣
  • 5个钱忠胜
  • 5个张新林
  • 5个许庆国
  • 4个刘国平
  • 4个刘志锋
  • 4个刘祖文
  • 4个卢全国
  • 4个吴德会
  • 4个孙前江
  • 4个徐玲
  • 4个揭安全
  • 4个杜大明
  • 4个杨辉
  • 3个万涛
  • 3个刘光萍
  • 3个孙军梅
  • 3个崔汝强
  • 3个林燕

传媒

  • 8个计算机工程与...
  • 6个计算机工程
  • 6个计算机应用与...
  • 6个计算机应用
  • 6个应用科学学报
  • 6个计算机工程与...
  • 6个计算机科学
  • 5个华中科技大学...
  • 5个上海大学学报...
  • 5个Wuhan ...
  • 4个化工科技
  • 4个工业安全与环...
  • 4个商业时代
  • 4个生态学报
  • 4个心理学报
  • 4个中国康复理论...
  • 4个环境工程
  • 3个分析化学
  • 3个人民论坛
  • 2个今日制造与升...
共 9 条 记 录，以下是 1-9
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目
相关领域：自动化与计算机技术 医药卫生 理学 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目([2002]01)
相关领域：自动化与计算机技术 农业科学 医药卫生 化学工程 理学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60373072)
相关领域：自动化与计算机技术 经济管理
相关作品相关人物相关机构相关资助相关领域
江西省高等学校教学改革研究课题([2007]92JXJG-07-4-21)
‘数据库系统及应用’课程的双主体教学模式与教学方法改革研究
相关领域：文化科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60970007)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
江西省高等学校教学改革研究课题
相关领域：文化科学 经济管理 自动化与计算机技术 语言文字 医药卫生
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60673115)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0