QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 The safety and liveness properties of the network protocol based on TLA 会议论文 Beijing, China, April 27, 2013 - April 29, 2013 作者:  Zhang, Junming;  Long, Shigong;  Wang, Kouwu 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02 EKE协议的描述与TLA验证 期刊论文 2012, 卷号: 29, 期号: 5, 页码: 53-57 作者:  张珺铭;  王扣武;  龙士工 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/02 EKE协议  TLA  TLA+  模型检测   基于FSA的模型检测算法研究 期刊论文 2012, 卷号: 29, 期号: 5, 页码: 58-62 作者:  王扣武;  张珺铭;  龙士工;  董方 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/05 有限状态自动机  语言  字  模型检测   多智体系统时序认知规范的SPIN模型检测 期刊论文 2011, 卷号: 33, 期号: 12, 页码: 12-16 作者:  龙士工;  王扣武 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/05 SPIN  模型检测  时序认知逻辑  线性时序逻辑