CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A fully coupled crystal plasticity-cellular automata model for predicting thermomechanical response with dynamic recrystallization in AISI 304LN stainless steel 期刊论文
MECHANICS OF MATERIALS, 2022, 卷号: 167, 页码: 19
作者:  Park, Jinheung;  Rout, Matruprasad;  Min, Kyung-Mun;  Chen, Shuai-Feng;  Lee, Myoung-Gyu
收藏  |  浏览/下载：15/0  |  提交时间：2022/07/01
Reachability in Fuzzy Game Graphs 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
收藏  |  浏览/下载：22/0  |  提交时间：2018/07/30
Lightweight semantic service modelling for IoT: An environment-based approach 期刊论文
International Journal of Embedded Systems, 2016
Wei, Qiang; Jin, Zhi; Li, Lixing; Li, Ge
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
A space-efficient simulation algorithm on probabilistic automata 期刊论文
INFORMATION AND COMPUTATION, 2016, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
Lattice-valued simulations for quantitative transition systems 期刊论文
international journal of approximate reasoning, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/11
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking 会议论文
PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015-01-01
作者:  Zhou, Conghua[1];  Wang, Yong[2];  Cao, Meiling[3];  Shi, Jianqi[4];  Liu, Yang[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
State Tracking and Fault Diagnosis for Dynamic Systems Using Labeled Uncertainty Graph 期刊论文
SENSORS, 2015, 卷号: 15, 页码: 28031-28051
作者:  Zhou, Gan;  Feng, Wenquan;  Zhao, Qi;  Zhao, Hongbo
收藏  |  浏览/下载：6/0  |  提交时间：2020/01/06

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