基于时间自动机模型的无线传感器网络数据收集协议测试用例生成
王非, 杨红丽, 秦胜潮, 胡世超, 刘渊
Test case generation of data gathering protocol for wireless sensor networks based on timed automata model
WANG Fei, YANG Hongli, QIN Shengchao, HU Shichao, LIU Yuan
计算机应用
.
2015, (4): 1164
-1168
.
DOI: 10.11772/j.issn.1001-9081.2015.04.1164
