• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. 复杂网络软件的着色Petri网层次建模及模型集成确认方法① CSCD 北大核心刊 期刊论文 认领

作者:刘靖;叶新铭;周建涛

外文作者:Liu Jing;Ye Xinming;Zhou Jiantao

第一作者:刘靖

作者机构:[刘靖]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛]内蒙古大学计算机学院, 更多

来源:高技术通讯,2013,Vol.23,Issue.11

基金:国家自然科学基金; 973计划; 内蒙古自然科学基金重点项目; 内蒙古大学高层次引进人才基金资助项目

知网综合影响因子:0.206

知网复合影响因子:0.293

关键词:着色Petri网(CP-net); 网络软件; 模型确认; 并发控制; 模型检验

摘要:为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层; 次化建模及模型集成 更多

更新时间:Mar 28, 2019
TOP