HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
非法计算论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
C程序
非法计算
缺陷的静态检测
第31-36页
关键词: 缺陷检测 非法计算 静态分析 抽象内存模型
2016年第19期
《计算机工程与应用》
非法计算
故障的自动测试方法
第613-617页
关键词: 软件测试 自动测试方法 非法计算 故障模型
2006年第05期
《武汉大学学报·理学版》
非法计算
故障的静态测试
第119-124页
关键词: 软件测试 静态测试方法 非法计算 故障模型 自动测试算法
2007年第01期
《计算机辅助设计与图形学学报》
非法计算
故障的一种静态测试方法
第2555-2557页
关键词: 软件测试 静态分析 非法计算 区间运算 故障模型
2006年第14期
《计算机工程与设计》
非法计算
检测的通用模型
第487-492页
关键词: 非法计算 区间运算 静态测试 故障模型
2009年第04期
《计算机辅助设计与图形学学报》
过程间的
非法计算
故障静态检测方法
第74-78页
关键词: 软件测试 静态分析 非法计算 函数摘要
2010年第S1期
《计算机研究与发展》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学