An in-depth case study: modelling an information barrier with Bayesian Belief Networks
An in-depth case study: modelling an information barrier with Bayesian Belief Networks
复制标题
深入的案例研究：使用贝叶斯信念网络对信息障碍进行建模
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Beaumont P.
中科院分区：
文献类型：
--
作者：
Beaumont P.
登录
查看更多内容
核军控置信度分析：贝叶斯置信网络的 SMT 抽象
DOI：
--
发表时间：
2015
期刊：
European Symposium on Research in Computer Security
影响因子：
--
作者：
Paul Beaumont;Neil Evans;M. Huth;T. Plant
通讯作者：
T. Plant
核军控置信度分析：博弈论模型的 SMT 抽象
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
M. Huth;Paul Beaumont;Neil Evans;T. Plant
通讯作者：
T. Plant
SMT-LIB 计划和 SMT 的兴起 -（HVC 2010 颁奖演讲）
DOI：
--
发表时间：
2010
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Clark W. Barrett;L. D. Moura;Silvio Ranise;Aaron Stump;C. Tinelli
通讯作者：
C. Tinelli
约束动力系统的有界分析：核武器控制案例研究
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Paul Beaumont;Neil Evans;M. Huth;T. Plant
通讯作者：
T. Plant