CORC

浏览/检索结果: 共21条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
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
基于犆犈犌犃犚的犠犲犫应用验证 期刊论文
计算机学报, 2014, 卷号: 37, 页码: 976-992
作者:  Gao, Hong-Hao[1];  Miao, Huai-Kou[2];  Zeng, Hong-Wei[3]
收藏  |  浏览/下载:4/0  |  提交时间:2019/04/30
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
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
确定性有限状态机的最小测试成本迁移覆盖准则 期刊论文
软件学报, 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
基于模型的Web应用测试 期刊论文
计算机学报, 2011, 卷号: 34, 页码: 1012-1028
作者:  Miao, Huai-Kou[1];  Chen, Sheng-Bo[2];  Zeng, Hong-Wei[3]
收藏  |  浏览/下载:1/0  |  提交时间:2019/04/30


©版权所有 ©2017 CSpace - Powered by CSpace