UPPAAL验证

蓝牙传输协议论文-孙聪
导读:本文包含了蓝牙传输协议论文开题报告文献综述及选题提纲参考文献，主要关键词:蓝牙低功耗,传输协议,AADL建模,UPPAAL验证蓝牙传输协议论文文献综述孙聪[1]（2015...