您的位置： 专家智库 > >

刘玉平

作品数：1 被引量：0H指数：0
供职机构：西北大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇网络
  • 1篇网络协议
  • 1篇可达性
  • 1篇可达性分析
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇辅助设计
  • 1篇辅助设计系统

机构

  • 1篇西北大学

作者

  • 1篇党华锐
  • 1篇刘玉平

传媒

  • 1篇微电子学与计...

年份

  • 1篇1992
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
网络协议辅助设计系统中可达性分析的设计与实现
1992年
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。
刘玉平党华锐罗景仁
关键词：计算机网络网络协议可达性
全选 清除 导出
共1页<1>
聚类工具0