位置：成果数据库 > 会议 > 会议详情页
CP-nets Model Based Formal Verification of HMIPv6 Protocol
  • 所属机构名称：内蒙古大学
  • 会议名称：2011 3rd International Conference on Computer Design and Applications (ICCDA 2011)
  • 成果类型：会议
  • 会场：西安
  • 相关项目：面向语义约束的协同过程形式化建模与验证的研究
作者： Liu Jing|Ye Xinming|Sun Tao|Qiao Lin|
同会议论文项目
面向语义约束的协同过程形式化建模与验证的研究
期刊论文 15 会议论文 21
同项目会议论文
Analyzing Performance for Complex Protocol using Validated CP-nets Models
Test Sequence Generation from Combining Property Modeling and Program Slicing
Study and Design of Graphic Petri Nets analyzer Based on Maria
Creativity Supporting Cooperative Design Based on Cloud Computing Platform
Analyzing and Verifying Petri Net Model of Security Protocol Based on Maria
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing
QE Modeling and Test Selection Based on PNFSM
Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing
基于Petri网的构件行为适配模型
Scalable Process Modeling based on Net Synthesis under Cloud Computing Environment
Scalable CP-nets Modeling for BitTorrent Protocol
SCN: Modeling and Simulation of Resource Constrained Workflow under Cloud Computing Environment
Colored Petri Nets Model based Conformance Test Generation
MRMT: An Algorithm of Matching Resource for Multi-Tasks
Creativity Supporting Workflow in Cloud Platform
TRMA: A Multi-QoS Constrained Task-Resource Matching Algorithm
Security and performance joint analysis method for authentication protocol based on CPN models
Integrating Functional Verification and Performance Analysis for Network Protocols using CP-nets
An Algorithm of Resource Evaluation and Selection Based on Multi-QoS Constraints
An Approach of Creative Application Evolution on Cloud Computing Platform