|
已选(0)清除
条数/页： 排序方式：
|
| 基于概率模型检验的Web服务系统可靠性分析 期刊论文
东南大学学报（自然科学版）, 2017, 卷号: 47, 页码: 132-139
作者: 高洪皓[1]; 开金宇[2]; 周家安[3]; 缪淮扣[4]; 黄婉秋[5]
  收藏 | 浏览/下载：3/0 | 提交时间：2019/04/26
|
| 一种基于状态图的代码化验证方法 专利
申请日期: 2016-01-01,
作者: 高洪皓[1]; 缪淮扣[2]; 许杰品[3]; 曾红卫[4]; 开金宇[5]
收藏 | 浏览/下载：3/0 | 提交时间：2019/04/26 |
| 一种基于模型的侵入式灰盒组装验证方法 专利
申请日期: 2015-01-01,
作者: 高洪皓[1]; 陈颖[2]; 田野[3]; 曾红卫[4]; 缪淮扣[5]
收藏 | 浏览/下载：4/0 | 提交时间：2019/04/26 |
| 一种基于SOA架构的模型检验工具集成方法 专利
申请日期: 2012-01-01,
作者: 高洪皓[1]; 缪淮扣[2]; 曾红卫[3]; 陈圣波[4]; 许庆国[5]
收藏 | 浏览/下载：5/0 | 提交时间：2019/04/30 |
| 基于LSC模型检验的性质抽取 期刊论文
上海大学学报（自然科学版）, 2012, 卷号: 18, 页码: 156-162
作者: 戴雨婷[1]; 缪淮扣[2]; 梅佳[3]; 高洪皓[4]
收藏 | 浏览/下载：8/0 | 提交时间：2019/04/30
|
| 基于XML的Web应用模型抽取 期刊论文
计算机科学, 2011, 卷号: 38, 页码: 130-134,149
作者: 程广金[1]; 缪淮扣[2]; 方明科[3]; 梅佳[4]; 高洪皓[5]
收藏 | 浏览/下载：3/0 | 提交时间：2019/04/30
|
| 基于场景的形式化测试模型生成方法 期刊论文
上海大学学报（自然科学版）, 2011, 卷号: 17, 页码: 595-599
作者: 黄龙[1]; 缪淮扣[2]; 王皙[3]; 郭亮[4]
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/30
|
| UML模型到FSM模型的转换 期刊论文
计算机科学, 2009, 卷号: 36, 页码: 113-116,149
作者: 郭亮[1]; 缪淮扣[2]; 王皙[3]; 陈圣波[4]
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/30
|
| Web应用的UML协作图建模与形式化规格说明 期刊论文
计算机工程与设计, 2008, 卷号: 29, 页码: 4898-4902
作者: 汪斌[1]; 袁捷[2]; 缪淮扣[3]; 毕德闯[4]; 朱洪宝[5]
收藏 | 浏览/下载：5/0 | 提交时间：2019/05/06
|
| DNA分子计算与DNA计算机的研究进展 期刊论文
科学通报, 2008, 卷号: 53, 页码: 497-502
作者: 俞洋[1]; 缪淮扣[2]; 宋世平[3]; 樊春海[4]
收藏 | 浏览/下载：1/0 | 提交时间：2019/05/06
|
