机译:在IOT协议的正式验证:审查
机译:组播视频数据包恢复协议的形式分析与验证
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:旋转与vis:ATMR协议正式验证案例研究
机译:促进形式验证合作驾驶应用程序:技术和案例研究。
机译:研究:治疗研究以确定维格列汀-二甲双胍联合方案与护理标准二甲双胍单药联合早期治疗的血糖控制的持久性— VERIFY试验:一项随机双盲试验
机译:spIN与VIs:aTmR协议形式验证的案例研究
机译:多agent环境下验证通信协议的形式化方法和技术