UPPAAL模型相关硕士博士期刊学术论文 - 搜论网

UPPAAL模型相关论文

无线传感器网络数据收集协议的建模与分析

无线传感器网络（WSN，Wireless Sensor Network）的应用越来越广泛，例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......

学位

无线传感器网络（WSN）数据收集协议时间自动机 UPPAAL模型

轨道电路读取器测试序列生成方法的研究

轨道电路读取器(TCR)是专门设计用于350km/h高速客运专线动车组的信号子系统。它利用了JT1-CZ2000的成熟技术,是根据既有的JT1-CZ2......

学位

轨道电路轨道电路读取器时间自动机 UPPAAL 模型测试序列

看过本文同时还关注