位置：成果数据库 > 期刊 > 期刊详情页
移动IPv6协议中移动节点的可执行测试序列生成方法研究
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：137-140
  • 语言：中文
  • 相关项目：面向语义约束的协同过程形式化建模与验证的研究
作者： 叶新铭|刘静|李华|刘龙|
同期刊论文项目
面向语义约束的协同过程形式化建模与验证的研究
期刊论文 15 会议论文 21
同项目期刊论文
WF-net模型到PNML的转换方法研究与实现
基于UCM的Web应用集成测试方法
主成分分析法的网页篡改检测
UML时序图向PNML转换的研究与实现
一种互操作测试的建模及测试选择方法
一种轻量级网格工作流引擎的研究与实现
BitTorrent协议的Petri网建模方法研究
BT协议的形式化建模与测试生成
面向资源调度的矩阵规范化方法研究
一致性测试的静态需求测试研究
基于Petri网的构件行为适配模型
DNS服务器解析性能测试方案设计
基于快照轮询和文本检测的批量网页防篡改系统