机译:雄心勃勃的进取主义,在没有核查议定书的情况下加强《生物武器公约》的执行
biological weapons convention; biological weapons; verification and compliance; nonproliferation policy; incrementalism;
机译:按构造更正并发性:使用依赖类型来验证有效资源使用协议的实现
机译:经验证的安全协议可互操作的实现
机译:一种指定,实现和验证媒体访问控制协议的方法
机译:隐私增强协议的建模和验证
机译:用于无线协议实现的基于模型的运行时验证框架
机译:结直肠手术的术后恢复增强(ERAS):在结直肠手术中实施手术后增强恢复(ERAS)协议是否可以改善患者的治疗效果?
机译:加密协议实现的自动安全验证:验证Jessie项目