CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
State Equations in Stochastic Process Algebra Models 期刊论文
IEEE Access, 2019, 卷号: Vol.7, 页码: 61195-61203
作者:  Ding, J.a,b;  Zhu, X.-S.c,d;  Chen, X.e,f
收藏  |  浏览/下载：7/0  |  提交时间：2019/11/21
Operation Chain Model of Reconfigurable Printing Manufacturing System Based on Stochastic Process Algebra 期刊论文
2019, 卷号: 7, 页码: 127475-127485
作者:  Li, Huailin;  Zhou, Shisheng;  Luo, Rubai;  Du, Bin
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/20
State Equations in Stochastic Process Algebra Models 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 61195-61203
作者:  Ding, Jie;  Zhu, Xin-Shan;  Chen, Xiao
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Analysis of the fluid approximation of stochastic process algebra models 会议论文
Chinese Intelligent Systems Conference, CISC 2017, 2017-10-14
-
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/24
Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach 会议论文
40th Annual IEEE Computer Software and Applications Conference Symposium (COMPSAC), 2016-06-10
作者:  Chen, Xiao[1];  Wang, Liangmin[2]
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/24
Calculating the Response Time Based on Action Flow in Stochastic Process Algebra Models 会议论文
2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016-01-01
作者:  Ding, Jie;  Sha, Leijie;  Zhu, Xinshan
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
SPA  PEPA  CTMC  Response time  
Calculating the Response Time Based on Action Flow in Stochastic Process Algebra Models 会议论文
IEEE International Conference on Systems, Man, and Cybernetics (SMC), Budapest, HUNGARY, 2016-10-09
作者:  Ding, Jie;  Sha, Leijie;  Zhu, Xinshan
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
SPA  PEPA  CTMC  Response time  
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文
2015, 2015
Guang Zheng; Jinzhao Wu; Aiping Lu
收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19
A stochastic model for microbial fermentation process under Gaussian white noise environment 期刊论文
Numerical Algebra, Control and Optimization, 2015, 卷号: 5, 页码: 381-392
作者:  Wang Y.;  Wang L.;  Zhao Y.X.;  Song A.M.;  Ma Y.P.
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/09
Numerically Representing Stochastic Process Algebra Models 期刊论文
COMPUTER JOURNAL, 2012, 卷号: 55, 页码: 1383-1397
作者:  Ding, Jie;  Hillston, Jane
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06

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