CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
一种基于UPPAAL的Web服务组合模型检测方法 期刊论文
2010, 卷号: 37, 期号: 11, 页码: 122
作者:  何亚丽[1];  戎玫[2];  张广泉[1,3]
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/06
实时时序逻辑语言XYZ／RE到时间自动机的映射 期刊论文
2008, 卷号: 29, 期号: [db:dc_citation_issue], 页码: 69
作者:  刘珊艳[1,2];  戎玫[3];  张广泉[2,4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03
面向方面的软件体系结构描述语言AO-ADL 期刊论文
2008, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 80
作者:  杨敬中[1];  戎玫[2];  张广泉[1,3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
基于时序逻辑的UML2．0通信图语义研究 期刊论文
2008, 卷号: 29, 期号: 21, 页码: 5601
作者:  张姝[1,2];  戎玫[3];  张广泉[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10
一种基于体系结构的Web服务组合描述方法 期刊论文
2008, 卷号: 30, 期号: 12, 页码: 5
作者:  魏慧[1];  戎玫[2];  张广泉[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06
UML2．0的形式化语义研究 期刊论文
2007, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 39
作者:  张广泉[1,2];  戎玫[3];  黄正宝[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/03
UML2．0类图的一种形式化描述方法 期刊论文
2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 277
作者:  杨敬中[1];  张广泉[1,2];  戎玫[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
XYZ／AE描述程序性质的探讨 期刊论文
2007, 卷号: 34, 期号: 3, 页码: 268
作者:  左春华[1];  张广泉[1,2];  戎玫[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/10
体系结构描述语言XYZ／ADL到UML的映射 期刊论文
2006, 卷号: 26, 期号: [db:dc_citation_issue], 页码: 468
作者:  陈琳琳[1];  戎玫[2];  张广泉[1,3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
基于XYZ／E的CA认证系统描述与求精 期刊论文
2006, 卷号: 33, 期号: 8, 页码: 267
作者:  刘俭云[1,2];  张广泉[2,4];  戎玫[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
XYZ/E  CA  RA  描述  求精  

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