您的位置： 专家智库 > >

孙建国

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇语言
  • 1篇状态图
  • 1篇UML状态图
  • 1篇B方法
  • 1篇B语言

机构

  • 1篇扬州大学

作者

  • 1篇邹盛荣
  • 1篇孟静
  • 1篇阳雪平
  • 1篇腾腾
  • 1篇陈宇
  • 1篇孙建国

传媒

  • 1篇科学技术与工...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
UML状态图到形式化B语言转换的实例研究被引量：3
2007年
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
邹盛荣孟静阳雪平腾腾陈宇孙建国
关键词：状态图形式化方法B方法
全选 清除 导出
共1页<1>
聚类工具0