计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  留言板 |  联系我们 |  投稿常见问题解答 |  English Version     30周年刊庆
计算机应用  2015, Vol. 35 Issue (4): 1164-1168    DOI: 10.11772/j.issn.1001-9081.2015.04.1164
计算机软件技术 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于时间自动机模型的无线传感器网络数据收集协议测试用例生成
王非1, 杨红丽1, 秦胜潮1,2, 胡世超1, 刘渊3
1. 北京工业大学 计算机学院, 北京 100124;
2. 提赛德大学 计算机学院, 英国 米德尔斯堡;
3. 西安普瑞米特科技有限公司, 西安 710075
Test case generation of data gathering protocol for wireless sensor networks based on timed automata model
WANG Fei1, YANG Hongli1, QIN Shengchao1,2, HU Shichao1, LIU Yuan3
1. College of Computer, Beijing University of Technology, Beijing 100124, China;
2. College of Computer, Teeside University, Middlesbrough Tees Valley, UK;
3. Xi'an Prepaid Meter Technology Company, Xi'an Shaanxi 710075, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn