Rewrite-Based Statistical Model Checking of WMTL

机译：基于重写的WmTL统计模型检验

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Peter Bulychev; Re David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification [J] . Mateja Novak, Ulrik Mathias Nyman, Tomislav Dragicevic, IEEE industrial electronics magazine . 2019,第3期

机译：有限套装模型预测控制转换器的统计模型检查：建模和性能验证教程
2. Statistical model checking of Timed Rebeca models [J] . Jafari Ali, Khamespanah Ehsan, Kristinsson Haukur, Computer Languages, Systems & Structures . 2016,第Apra期

机译：定时Rebeca模型的统计模型检查
3. Automated parameter estimation for biological models using Bayesian statistical model checking [J] . Faraz Hussain, Christopher J Langmead, Qi Mi, BMC Bioinformatics . 2015,第SUPPLEMENTa17期

机译：使用贝叶斯统计模型检查的生物模型自动参数估计
4. Rewrite-Based Statistical Model Checking of WMTL [C] . Peter Bulychev, Alexandre David, Kim G. Larsen, International conference on runtime verification . 2013

机译：基于重写的WMTL统计模型检查
5. Combining Type Checking with Model Checking for System Verification [D] . Ren, Zhiqiang. 2017

机译：将类型检查与模型检查相结合以进行系统验证
6. Automated parameter estimation for biological models using Bayesian statistical model checking [O] . Faraz Hussain, Christopher J Langmead, Qi Mi, 2015

机译：使用贝叶斯统计模型检查的生物模型参数自动估计
7. Rewrite-Based Statistical Model Checking of WMTL [O] . Bulychev, Petr, David, Alexandre, Larsen, Kim Guldstrand, 2013

机译：基于重写的WmTL统计模型检验

Rewrite-Based Statistical Model Checking of WMTL

著录项

引文网络

相似文献

相关主题

期刊订阅