|
|||||
|
|
| 协议工程的形式描述技术 | |
| 引用本文： | 李腊元.协议工程的形式描述技术[J].系统工程与电子技术,1992(11). |
| 作者姓名： | 李腊元 |
| 作者单位： | 武汉水运工程学院 |
| 摘 要： | 本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。 |
| 关 键 词： | 计算机网络 ~+协议工程 数据通信网 通信系统 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |