UPPAAL模型相关论文
无线传感器网络(WSN,Wireless Sensor Network)的应用越来越广泛,例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......
轨道电路读取器(TCR)是专门设计用于350km/h高速客运专线动车组的信号子系统。它利用了JT1-CZ2000的成熟技术,是根据既有的JT1-CZ2......
无线传感器网络(Wireless Sensor Networks,WSNs)广泛应用于各类数据收集系统,如居民区无线抄表(包括水表、电表和燃气表)系统。数据收集......