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

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. A Quantitative Characterization of Cross Coverage SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Lan, CH;Hung, WNN;Guo, XR;Song, XY

作者全称:Zhou, Jiantao;Lan, Caihe;Hung, William N. N.;Guo, Xinrui;Song, Xiaoyu

作者机构:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R C 更多

第一署名单位:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

来源:IEEE TRANSACTIONS ON COMPUTERS,2015,Vol.64,Issue.8

基金:National Natural Science Foundation of China [61262082, 61262017]; Key; Project of Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation for Distinguished Young Scholars [2012JQ03]

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q1;ENGINEERING, ELECTRICAL & ELECTRONIC为Q1

中科院分区:大类工程技术3区;小类计算机:硬件2区;小类工程:电子与电气3区

(JCR)当年影响因子:3.052

(JCR)5年影响因子:2.979

ESI学科:COMPUTER SCIENCE

教育部学科:控制科学与工程,软件工程,计算机科学与技术;电子科学与技术,软件工程

关键词:Coverage model; probabilistic analysis

摘要:Effective verification methods are necessary for finding bugs in complex system design. Given domain specific knowledge, design verification engineers 更多

更新时间:Mar 28, 2019
TOP