期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

网络协议开发的形式方法被引量：1

下载PDF

导出

摘要本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。

作者李楠杨培根周建强

机构地区南京大学计算机科学系

出处《计算机工程与应用》 CSCD 北大核心 1990年第10期164-172,共9页 Computer Engineering and Applications

关键词网络协议计算机网络

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

引证文献1

1丁晋,杨培根.小型文件传输协议TFTP的形式化描述和自动生成工具EIT[J].计算机研究与发展,1997,34(S1):136-140. 被引量：4

二级引证文献4

1罗军舟,杨晓燕.从协议Petri网到Estelle的转换[J].系统仿真学报,2003,15(z1):78-82.
2朱毅.基于PXE技术的网络机房高效管理方案[J].电脑开发与应用,2008,21(10):58-60. 被引量：5
3张国栋,朱毅.PXE＋Ghost网络克隆技术在高校网络机房维护中的应用[J].电脑知识与技术,2012,8(6):3834-3835. 被引量：4
4来晋辉.网络克隆技术在高校计算机房维护中的应用[J].电子技术与软件工程,2017(7):13-13. 被引量：2

1李新宇.用于通信网络协议开发的形式化方法[J].中国新通信,2014,16(15):100-101. 被引量：1
2刘涛,钟晓峰,许希斌.NDK在视频传输系统中的应用[J].微计算机信息,2007,23(03Z):1-2. 被引量：2
3冯慧芳,李彩虹.基于复杂网络的车载自组织网络抗毁性分析[J].计算机应用,2016,36(7):1789-1792. 被引量：8

计算机工程与应用

1990年第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部