您的位置： 专家智库 > >

孟静

作品数：1 被引量：3H指数：1
供职机构：扬州大学信息工程学院更多>>
发文基金：江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 5个自动化与计算...
  • 2个自然科学总论
  • 1个电子电信
  • 1个医药卫生
  • 1个农业科学
  • 1个理学

主题

  • 5个形式化
  • 5个形式化方法
  • 5个语言
  • 5个状态图
  • 5个UML状态图
  • 5个B方法
  • 5个B语言
  • 3个形式化B方法
  • 3个数学
  • 3个数学基础
  • 3个体液免疫
  • 2个数据库
  • 1个代码
  • 1个端口
  • 1个移动IPV6
  • 1个引擎
  • 1个用例驱动
  • 1个优化算法
  • 1个早熟
  • 1个入侵

机构

  • 5个扬州大学
  • 1个南京大学
  • 1个广州工商学院

资助

  • 5个江苏省自然科...
  • 2个国家自然科学...
  • 1个国家重点基础...
  • 1个江苏省“青蓝...
  • 1个江苏省普通高...

传媒

  • 5个科学技术与工...
  • 3个常熟理工学院...
  • 2个吉首大学学报...
  • 2个现代电子技术
  • 2个科技信息
  • 1个计算机时代
  • 1个九江医学
  • 1个中文信息学报
  • 1个电脑知识与技...
  • 1个计算机科学
  • 1个宁波职业技术...
  • 1个科技广场
  • 1个复杂系统与复...
  • 1个南京师范大学...
  • 1个南通航运职业...
  • 1个电脑知识与技...
  • 1个计算机技术与...
  • 1个南昌航空大学...
  • 1个2003中国...

地区

  • 4个江苏省
  • 1个广东省
共 5 条 记 录，以下是 1-5
孙建国
供职机构：扬州大学信息工程学院
研究主题：B语言 B方法 UML状态图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
邹盛荣
供职机构：扬州大学信息工程学院
研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
发表作品相关人物供职机构所获资助研究领域
腾腾
供职机构：扬州大学信息工程学院
研究主题：B语言 B方法 UML状态图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
阳雪平
供职机构：广州工商学院
研究主题：B方法 形式化方法 IMMUNE VC++ 免疫
发表作品相关人物供职机构所获资助研究领域
陈宇
供职机构：扬州大学信息工程学院
研究主题：B方法 形式化方法 B语言 UML状态图 形式化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0