...
机译:通过模型检查验证即席串行通信协议:以Echo Sounder为例
Formal-modelingmodel-checkingfault-injectionserial data transmission.;
机译:通过模型检查验证即席串行通信协议:以Echo Sounder为例
机译:模型检查依赖于推测的安全属性:为声音和完整验证抽象和减少处理器模型?
机译:关于自动执行安全自组织网络路由协议的验证
机译:使用演绎模型检查对安全自组织网络路由协议进行形式验证
机译:无线认知无线电自组织网络的通信协议。
机译:纠正:心音:一项随机试验以确定音频记录的可行性和可接受性以改善心脏病住院患者方案的出院沟通
机译:ad-hoc移动网络中基本通信协议的实验研究