CPEB

作品数：4被引量：6H指数：2
导出分析报告
相关领域：医药卫生生物学更多>>
相关作者：陈凛李晨周思欣李沛雨卢灿荣更多>>
相关机构：中国人民解放军总医院合肥工业大学中国医学科学院北京协和医学院中国科学院更多>>
相关期刊：《临床合理用药》《Neuroscience Bulletin》《国外科技动态》《计算机工程》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPEBSDL通信协议的Petri网建模方法
《计算机工程》2008年第6期16-21,共6页范昊 吴哲辉 
国家自然科学基金资助项目(60603090,60173053)
结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可...
关键词：协议验证 协议测试 LAPD协议 PETRI网 Petri网进程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部