CORC

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

已选(0)清除 条数/页:   排序方式:
Pooled analysis of WHO Surgical Safety Checklist use and mortality after emergency laparotomy 期刊论文
BRITISH JOURNAL OF SURGERY, 2019, 卷号: 106, 期号: 2
作者:  Thomas, Hannah S.;  Weiser, Thomas G.;  Drake, Thomas M.;  Knight, Stephen R.;  Fairfield, Cameron
收藏  |  浏览/下载:141/0  |  提交时间:2019/12/05
A soft-rigid contact model of MPM for granular flow impact on retaining structures 期刊论文
COMPUTATIONAL PARTICLE MECHANICS, 2018, 卷号: 5, 期号: 4, 页码: 529-537
作者:  Li, Xinpo;  Xie, Yanfang;  Gutierrez, Marte
收藏  |  浏览/下载:34/0  |  提交时间:2018/10/29
A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems 会议论文
2017 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2017-01-01
作者:  Zhang, Huihui;  Yue, Tao;  Ali, Shaukat;  Wu, Ji;  Liu, Chao
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
基于模型驱动的嵌入式软件测试技术研究 期刊论文
网络空间安全, 2016, 卷号: 7, 页码: 75-83
作者:  雷海申;  王轶辰
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/30
基于MARTE模型的系统可靠性预测 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82
柴叶生; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载:13/0  |  提交时间:2016/12/09
基于DDS中间件的分布式系统性能评估方法 会议论文
第十四届全国软件与应用学术会议论文集中国计算机学会, 武汉, 2015-11-06
作者:  赵亚星;  许荣飞;  张莉
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/30
基于模型转换的MARTE顺序图的形式化分析 期刊论文
小型微型计算机系统, 2013
朱梅霞; 王捍贫; 刘西奎; 韩晓琼
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/12
Modeling Embedded Software Test Requirement Based on MARTE 会议论文
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, 2013-01-01
作者:  Wang Yichen;  Lan Xinsheng;  Wang Yikun
收藏  |  浏览/下载:2/0  |  提交时间:2020/01/06
Optimal location of piles in slope stabilization by limit analysis 期刊论文
ACTA GEOTECHNICA, 2012, 卷号: 7, 期号: 3, 页码: 253-259
作者:  Li, Xinpo;  Pei, Xiangjun;  Gutierrez, Marte;  He, Siming
收藏  |  浏览/下载:20/0  |  提交时间:2012/12/28
Optimal location of piles in slope stabilization by limit analysis 期刊论文
2012, 卷号: 7, 页码: 253-259
作者:  Li, Xinpo;  Pei, Xiangjun;  Gutierrez, Marte;  He, Siming
收藏  |  浏览/下载:5/0  |  提交时间:2019/12/04


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