×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
上海大学 [20]
重庆大学 [1]
内容类型
期刊论文 [17]
会议论文 [4]
发表日期
2018 [1]
2017 [1]
2014 [1]
2013 [1]
2011 [7]
2010 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共21条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Experimental and numerical studies on the deformation response and retaining mechanism of h-type anti-sliding piles in clay landslide
期刊论文
2018, 卷号: 77
作者:
Liu, Xin-Rong[1,2]
;
Kou, Miao-Miao[1,2]
;
Feng, Hao[1,2]
;
Zhou, Yang[1,3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/11/28
Degradation of Mcl-1 through GSK-3 beta Activation Regulates Apoptosis Induced by Bufalin in Non-Small Cell Lung Cancer H1975 Cells
期刊论文
CELLULAR PHYSIOLOGY AND BIOCHEMISTRY, 2017, 卷号: 41, 页码: 2067-2076
作者:
Kang, Xiao-hong[1]
;
Zhang, Jing-hang[2]
;
Zhang, Qing-qin[3]
;
Cui, Yan-hui[4]
;
Wang, Ying[5]
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2019/04/24
NSCLC
Bufalin
Mcl-1
Glycogen synthase kinase-3 beta
Apoptosis
基于犆犈犌犃犚的犠犲犫应用验证
期刊论文
计算机学报, 2014, 卷号: 37, 页码: 976-992
作者:
Gao, Hong-Hao[1]
;
Miao, Huai-Kou[2]
;
Zeng, Hong-Wei[3]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
Web应用 导航模型 抽象精化 模型检验 伪反例 Web application navigation model abstraction refinement model checking spuriouscounterexample
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 卷号: 28, 页码: 203-216
作者:
Liu, Yang[1]
;
Miao, Huai-Kou[2]
;
Zeng, Hong-Wei[3]
;
Ma, Yan[4]
;
Liu, Pan[5]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
nondeterminism
probabilistic Petri net
model checking
action-based probabilistic computation tree logic
Ant colony optimization based service flow scheduling with various QoS requirements in cloud computing
会议论文
1st ACIS International Symposium on Software and Network Engineering, SSNE 2011, 2011-12-19
作者:
Liu, Hui[1]
;
Xu, Dong[2]
;
Miao, Huai Kou[3]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
Object-Z规格说明测试用例的自动生成器
期刊论文
软件学报, 2011, 卷号: 22, 页码: 1155-1168
作者:
Xu, Qing-Guo[1]
;
Miao, Huai-Kou[2]
;
Cao, Xiao-Xia[3]
;
Hu, Xiao-Bo[4]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
基于规格说明的测试
语义提取
测试用例生成器
威胁驱动的Web应用On-The-Fly导航模型验证方法
期刊论文
应用科学学报, 2011, 卷号: 29, 页码: 83-91
作者:
Hu, Li-Li[1]
;
Miao, Huai-Kou[2]
;
Chen, Sheng-Bo[3]
;
Mei, Jia[4]
;
Gao, Hong-Hao[5]
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/04/30
On--The-Fly验证
Web应用
安全性
确定性有限状态机的最小测试成本迁移覆盖准则
期刊论文
软件学报, 2011, 卷号: 22, 页码: 1457-1474
作者:
Liu, Pan[1]
;
Miao, Huai-Kou[2]
;
Zeng, Hong-Wei[3]
;
Mei, Jia[4]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
最小测试成本迁移覆盖准则
成本/效率的平衡
确定性有限状态机
迁移覆盖
基于FSM的测试理论,方法及评估
期刊论文
计算机学报, 2011, 卷号: 34, 页码: 965-984
作者:
Liu, Pan[1]
;
Miao, Huai-Kou[2]
;
Zeng, Hong-Wei[3]
;
Liu, Yang[4]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
基于FSM的测试
测试评估
测试生成算法
基于FSM的测试理论
冗余约简
基于模型的Web应用测试
期刊论文
计算机学报, 2011, 卷号: 34, 页码: 1012-1028
作者:
Miao, Huai-Kou[1]
;
Chen, Sheng-Bo[2]
;
Zeng, Hong-Wei[3]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
Web应用
模型转换
测试用例生成
测试执行
©版权所有 ©2017 CSpace - Powered by
CSpace