基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析
复制标题

DOI:
--
复制
发表时间:
--
期刊:
中国科学F辑:信息科学(中文版)
影响因子:
--
通讯作者:
李宣东
李宣东
中科院分区:
其他
文献类型:
--
作者:
张凤玲;卜磊;王林章;赵建华;李宣东

文献摘要

相似文献