汪洋
【姓名】 汪洋
【职称】
【研究领域】 计算机软件及计算机应用;自动化技术;
【研究方向】
【发表文献关键词】 模型检查,性质规范模式,正确性需求,事件通知服务,发布/订阅系统,动态体系结构,基于事件中间件,分布式控制系统,软件体系结构,可扩展,服务体系结构,可配置,配置管理器,应用领域,连接器,事件模型,事件...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 湖北武汉
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 2 31 447
中国期刊全文数据库    共找到2篇
[1]汪洋;魏峻;王振宇;.可扩展和可配置事件通知服务体系结构[J]软件学报.2006,(03)
[2]汪洋,魏峻,王振宇.基于体系结构模型检查分布式控制系统[J]软件学报.2004,(06)
更多