Telematics Institute, University of L#x00FC;
beck, Germanyc;
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:延迟高效的MAC协议,具有流量区分和运行时间参数自适应功能,用于能量受限的无线传感器网络
机译:无线传感器网络的运行时验证和反射
机译:用于监视智能电网的无线传感器网络:设计和实验验证。
机译:无线人体局域网中可穿戴式传感器的位置验证算法
机译:无线传感器网络应用的运行时验证