Formal Methods; Passive Testing; Monitoring; Protocols; IMS/SIP;
机译:指定为通信有限状态机的协议的一致性测试-一种基于指导的随机游走方法
机译:使用基于符号执行和切片技术的被动测试:在通信协议验证中的应用
机译:无线传感器网络中协议的被动测试方法
机译:基于逻辑的被动测试方法,用于验证通信协议
机译:一种集中式仿真方法,用于测试容错和实时通信协议。
机译:无线传感器网络中协议的被动测试方法
机译:无线传感器网络协议的被动测试方法
机译:在肯尼迪航天中心验证柠檬酸作为替代硝酸用于不锈钢钝化的试验方案。