Z应用于通信协议形式化描述的研究

• 作者: 徐殿祥 袁晓东
• 来源期刊: 电子与自动化仪表信息
• 学科: 工学
• 关键词: Z规格说明 通信协议 YMODEM 形式化描述
• 年，卷（期）: 1997,（3）
• 页码范围: 15-20
• 页数: 6页
• 分类号: TP393
• 语种: 中文

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐殿祥	南京大学计算机软件新技术国家重点实验室	8	77	4.0	8.0
2	袁晓东	南京大学计算机软件新技术国家重点实验室	2	3	1.0	1.0