位置：成果数据库 > 期刊 > 期刊详情页
基于CEFSMs部分叉乘产生协议TTCN测试例的探讨
  • ISSN号：1000-1638
  • 期刊名称：内蒙古大学学报.自然科学版,VOL.35（3）增刊
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：内蒙古大学
  • 页码：68-72
  • 语言：中文
  • 相关项目：下一代网络协议的形式验证和测试方法的研究
作者： 曾敏|叶新铭|
同期刊论文项目
下一代网络协议的形式验证和测试方法的研究
期刊论文 26
同项目期刊论文
慢速网络下一种分布式数据库数据复制机制与应用
IPv6邻居发现协议的一致性测试
基于时间特征的网络流量预测模型
网页优化策略的模糊C均值(FCM)聚类算法研究
WTML:基于XML的Web应用测试脚本语言
Web性能测试中事务时间的测量
安全Petri网位置不变式的一种生成算法
基于相同形式模型的协议测试方法研究
基于Colored Petri网的安全协议描述和验证
Web性能测试回放浏览器设计、实现与比较
基于XML的协议一致性测试系统的设计与实现
边界网关协议BGP4 的一致性测试研究
下一代网络协议一致性测试执行系统的实现
一种下一代路由协议测试框架及其实现
On reachability graphs of Petri nets
TTCN-3编译系统的语法分析自动工具YACC的实现
基于SDL和MSC模型的一致性测试生成方法
自动产生TTCN测试套以及对RIP协议的应用
测试说明语言TTCN-3的新特性
MSC时间表示方法与UML序列图结合建模
基于混合小生境人工免疫系统的流量矩阵估测算法
具有移动感知能力的MIPv6访问控制方法
一种实现TTCN-3测试系统TCI-CH接口的方法
用路由软件组建BGP4＋协议一致性测试平台
基于Petri网的测试路径选择标准
期刊信息
  • 《内蒙古大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:内蒙古自治区教育厅
  • 主办单位:内蒙古大学
  • 主编：李光鹏
  • 地址：呼和浩特市赛罕区大学西路235号
  • 邮编：010021
  • 邮箱：
  • 电话：
  • 国际标准刊号：ISSN：1000-1638
  • 国内统一刊号：ISSN：15-1052/N
  • 邮发代号:16-67
  • 获奖情况:
  • 综合性科技类核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:6683