中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共3条，第1-3条

帮助

已选(0)清除条数/页：排序方式：
	基于CPEBSDL通信协议的Petri网建模方法期刊论文计算机工程, 2008, 卷号: 34.0, 期号: 006, 页码: 16 作者: 范昊; 吴哲辉收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 协议验证协议测试 LAPD协议 Petri网 Petri网进程
	正规表达式与恰当终结的标准Petri网期刊论文计算机工程, 2007, 卷号: 33.0, 期号: 017, 页码: 13 作者: 范昊; 吴哲辉收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 恰当终结的标准Petri网 Petri网正规语言正规表达式语言
	一种兼顾协议正确性验证和性能评估的Petri网方法期刊论文计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48 作者: 范昊; 吴哲辉; 曾庆田收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 协议验证形式化分析时延Petri网协议性能评估 0-1停止等待协议

中国科学院计算技术研究所机构知识库