-
孙建国
-
-
- 所属机构:扬州大学信息工程学院
- 所在地区:江苏省 扬州市
- 研究方向:自动化与计算机技术
- 发文基金:江苏省自然科学基金
相关作者
- 邹盛荣
- 作品数：26被引量：69H指数：4
- 供职机构：扬州大学信息工程学院
- 研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
- 腾腾
- 作品数：1被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B语言 B方法 UML状态图 形式化方法 形式化
- 阳雪平
- 作品数：6被引量：9H指数：2
- 供职机构：广州工商学院
- 研究主题：B方法 形式化方法 IMMUNE VC++ 免疫
- 孟静
- 作品数：1被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B语言 B方法 UML状态图 形式化方法 形式化
- 陈宇
- 作品数：3被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B方法 形式化方法 B语言 UML状态图 形式化
- UML状态图到形式化B语言转换的实例研究被引量：3
- 2007年
- 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
- 邹盛荣孟静阳雪平腾腾陈宇孙建国
- 关键词：状态图形式化方法B方法
