CORC

在结果中检索

CORC

浏览/检索结果: 共67条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
一种基于多维属性的CPS软件可信性评估方法 期刊论文
2013, 卷号: 40, 期号: 11, 页码: 187
作者:  戎玫[1,2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/17
基于概率模型检测的Web服务组合验证 期刊论文
2012, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 120
作者:  王晶[1];  戎玫[2];  张广泉[1,3];  祝义[4]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/03
基于限界模型检查的Web服务行为失配检测 期刊论文
2012, 卷号: 39, 期号: 6, 页码: 129
作者:  戎玫[1];  陈圣标[2];  张广泉[2,3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17
时间感知Web服务交互行为建模与失配检测方法研究 期刊论文
2011, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 2568
作者:  张广泉[1,2];  戎玫[3];  王昇[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03
基于XYZ/ADL的Web服务组合描述与验证 期刊论文
2011, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 86
作者:  张广泉[1,2];  戎玫[3];  朱雪阳[2];  何亚丽[1];  石慧娟[1]
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/03
数据和时间感知的Web服务组合模型检测 期刊论文
2011, 卷号: 38, 期号: 11, 页码: 123
作者:  狄浩军[1];  戎玫[2];  张广泉[1,3];  朱稷涵[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
基于XYZ／ADL的异步Web服务组合描述与验证 期刊论文
2011, 卷号: 38, 期号: 12, 页码: 139
作者:  石慧娟[1];  戎玫[2];  张广泉[1,3];  朱稷涵[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
一种基于场景的嵌入式软件设计方法 期刊论文
2010, 卷号: 46, 期号: 9, 页码: 62
作者:  戎玫[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17
异构传感器网络的一种可调节的拓扑控制算法 期刊论文
2010, 卷号: 47, 期号: S2, 页码: 45
作者:  陈雷[1];  张广泉[2];  戎玫[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23
基于Bigraph的面向方面动态软件体系结构演化研究 期刊论文
2010, 卷号: 37, 期号: 9, 页码: 137
作者:  汪玲[1];  戎玫[2];  张广泉[1,3];  王昇[1]
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/06

©版权所有 ©2017 CSpace - Powered by CSpace