退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:实时Maude中无线传感器网络算法的形式化建模,性能评估和模型检查
Ölveczky Peter Csaba; Thorvaldsen Stian;
机译:使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析
机译:朝着无线传感器网络中基于子网热点算法的正式建模
机译:实时MAEDE中无线传感器网络算法的正式建模与分析
机译:无线传感器网络应用中出现的网络流量问题的数学模型和算法
机译:基于最优阶估计模型和分布式编码的无线传感器网络数据压缩算法
机译:实时Maude中OGDC无线传感器网络算法的形式化建模与分析。
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。