期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Lynch简单文件传输协议的SPIN分析验证及其局限性
1
作者 刘涛 龚松显 《山西电子技术》 2006年第5期69-71,共3页
在已知Lynch的简单文件传输协议缺陷的情况下,首先对该协议进行了分析并用Promela语言对其模型进行了描述,然后用SPIN工具对其进行分析验证,在以上的基础上指出了运用SPIN工具可能存在的局限性。
关键词 lynch的简单文件传输协议 SPIN工具 局限性
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部