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

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
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)的复杂网络软件层; 次化建模及模型集成 更多

2. 基于验证与测试协同的网络软件可信性确认方法 科技成果 疑似

成果完成人:刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉

第一完成单位:[刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉]内蒙古大学

成果类别:基础理论

成果水平:国内领先

年份:2010

更新时间:Mar 28, 2019
TOP