Probabilistic Formal Analysis of App Usage to Inform Redesign
Probabilistic Formal Analysis of App Usage to Inform Redesign
复制标题
应用程序使用情况的概率形式分析为重新设计提供信息
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Andrei O
中科院分区：
文献类型：
--
作者：
Andrei O
登录
查看更多内容
泛计算软件的适配及其评估
DOI：
10.1145/1570433.1570460
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Hall M
通讯作者：
Hall M
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
用户活动模式 DTMC 模型的概率模型检查
DOI：
10.48550/arxiv.1403.6678
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Andrei O
通讯作者：
Andrei O
使用状态估计进行运行时验证
影响因子：
2.2
作者：
S. Stoller;E. Bartocci;Justin Seyster;R. Grosu;K. Havelund;S. Smolka;E. Zadok
通讯作者：
E. Zadok
通过动态人口模型分析用户行为
DOI：
10.1145/2468356.2468405
发表时间：
2013
期刊：
CHI '13 Extended Abstracts on Human Factors in Computing Systems
影响因子：
--
作者：
Matthew Higgs;Alistair Morrison;M. Girolami;M. Chalmers
通讯作者：
M. Chalmers