位置：成果数据库 > 期刊 > 期刊详情页
Modeling and Testing of Network Protocols with Parallel State Machines
  • ISSN号：0916-8532
  • 期刊名称：IEICE Transactions on Information and Systems
  • 时间：2015.12.1
  • 页码：2091-2104
  • 相关项目：面向新一代互联网协议的基于模型检测的协议安全性测试研究
作者： Zhiliang Wang|Xingang Shi|Jun Bi|Jianping Wu|
同期刊论文项目
面向新一代互联网协议的基于模型检测的协议安全性测试研究
期刊论文 3 会议论文 15
同项目期刊论文
DIMR: Disjoint Interdomain Multipath Routing
软件定义网络中北向接口语言综述