QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2010     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于XYZ/ADL的Web服务体系结构形式描述 期刊论文 2010, 2010 饶元; 李尊朝; RAO Yuan; LI Zun chao 收藏  |  浏览/下载：4/0 一种基于UPPAAL的Web服务组合模型检测方法 期刊论文 计算机科学, 2010, 卷号: 37, 期号: 11, 页码: 122-125 何亚丽; 戎玫; 张广泉 收藏  |  浏览/下载：227/44  |  提交时间：2011/05/23 Web服务组合  模型检测  XYZ/ADL  XYZ/RE  UPPAAL   一种基于UPPAAL的Web服务组合模型检测方法 期刊论文 2010, 卷号: 37, 期号: 11, 页码: 122 作者:  何亚丽[1];  戎玫[2];  张广泉[1,3] 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/06 Web服务组合  模型检测  XYZ/ADL  XYZ/RE  UPPAAL