电脑体验，效果更佳

协议验证图谱-自然科学领域：

研究人员

段振华 王静 王育民 李艳 肖德宝 王小兵 冷淑霞 赵东明 徐涛 徐德启 杨琛 陈丹 周清雷 刘建福 陈静 李磊 刘进

相关术语

Petri网 协议 模型检测 协议形式描述 安全协议 计算机网络 非否认协议 并发系统 时间自动机 扩展串空间 时序逻辑 着色petri网 UPPAAL 公平性 STS协议 协议工程 实时系统 Petri网

下位概念

Petri网

标签云