位置:成果数据库 > 会议 > 会议详情页
Analyzing Performance for Complex Protocol using Validated CP-nets Models
  • 所属机构名称:内蒙古大学
  • 会议名称:10th IEEE Conference on Computer and Information Technology (CIT 2010)
  • 成果类型:会议
  • 相关项目:面向语义约束的协同过程形式化建模与验证的研究
同会议论文项目
同项目会议论文