位置：成果数据库 > 期刊 > 期刊详情页
A Formal Approach to the Design of Network Protocol
  • ISSN号：1003-7985
  • 期刊名称：Journal of Southeast University (English Edition)
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：东南大学
  • 页码：1996，第2期，1-5
  • 语言：英文
  • 相关项目：基于Petri网的高速网络协议的描述和验证
作者： Luo Junzhou|Gu Guanqun|
同期刊论文项目
基于Petri网的高速网络协议的描述和验证
期刊论文 20
同项目期刊论文
分布多媒体系统的多媒体动态同步模型
Petri网协议分析器
Researches On Protocol Migration
基于Petri网的同步通信模型及算法
Modelling Distributed Multimedia Synchronization with DSPN
群组通信模型及运输协议映射
计算机会议流控制通道协议研究
协议描述和验证的基本方法
分布存储媒体传输的同步算法
基于Petri网的MMS服务描述、验证及实现
质量控制模型及运输协议投影
CIMS Network Protocol and Its Net Models
基于时间Petri网的多媒体同步模型
异构网络MMS互联的形式化描述、分析及实现
EPr/TN网可达性分析的冗余并发后继标识
期刊信息
  • 《东南大学学报：英文版》
  • 主管单位:教育部
  • 主办单位:东南大学
  • 主编：毛善锋
  • 地址：南京市四牌楼2号
  • 邮编：210096
  • 邮箱：xuebao@seu.edu.cn
  • 电话：025-83794323 83794343传
  • 国际标准刊号：ISSN：1003-7985
  • 国内统一刊号：ISSN：32-1325/N
  • 邮发代号:
  • 获奖情况:
  • 2010年和2012年荣获第三届和第四届中国高校优秀科...
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库
  • 被引量:493