机译:使用Uppaal和PVS的双相标记协议分析
机译:EHPVS:用于验证ESTELLE中特定协议的协议验证系统
机译:EHPVS:用于验证ESTELLE中特定协议的协议验证系统
机译:使用PVS对持续时间演算中的双相标记协议进行建模和验证
机译:Ad hoc网络协议的建模与验证技术。
机译:等剂量线扫描分析的数据和演算以确定小鼠急性疼痛模型中钙通道阻滞剂和TRPV1阻滞剂之间的镇痛作用
机译:用pVs建立和验证持续时间演算中的双相标记协议
机译:异步通信的正式模型及其在机械验证双相标记协议中的应用