Probabilistic Model Checking of DTMC Models of User Activity Patterns
Probabilistic Model Checking of DTMC Models of User Activity Patterns
复制标题
用户活动模式 DTMC 模型的概率模型检查
DOI：
10.48550/arxiv.1403.6678
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Andrei O
中科院分区：
文献类型：
--
作者：
Andrei O
登录
查看更多内容
泛计算软件的适配及其评估
DOI：
10.1145/1570433.1570460
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Hall M
通讯作者：
Hall M
DOI：
10.1016/j.jss.2018.03.010
发表时间：
2018-07
期刊：
J. Syst. Softw.
影响因子：
--
作者：
Andreas Classen;P. Heymans;Pierre-Yves Schobbens
通讯作者：
Andreas Classen;P. Heymans;Pierre-Yves Schobbens
进一步探索：在全球范围内进行移动系统试验
DOI：
10.1007/978-3-642-12654-3_13
发表时间：
2010
期刊：
Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers
影响因子：
--
作者：
Donald Mcmillan;Alistair Morrison;O. Brown;Malcolm Hall;M. Chalmers
通讯作者：
M. Chalmers
DOI：
10.1111/j.2517-6161.1977.tb01600.x
发表时间：
1977-01-01
期刊：
JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-METHODOLOGICAL
影响因子：
--
作者：
DEMPSTER, AP;LAIRD, NM;RUBIN, DB
通讯作者：
RUBIN, DB
自适应运行时验证
DOI：
10.1007/978-3-642-35632-2_18
发表时间：
2012
期刊：
e & i Elektrotechnik und Informationstechnik
影响因子：
--
作者：
E. Bartocci;R. Grosu;A. Karmarkar;S. Smolka;S. Stoller;E. Zadok;Justin Seyster
通讯作者：
Justin Seyster