首页> 外文OA文献 >Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

【2h】

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

机译：高可信度系统的运行时验证：蒙特卡洛方法

代理获取

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

页面导航

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

著录项

作者
Callanan Sean; Grosu Radu; Rai Abhishek; Smolka Scott A.; True Mike R.; Zadok Erez;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An event-based approach for formally verifying runtime adaptive real-time systems [J] . Fredj Nissaf, Hadj Kacem Yessine, Abid Mohamed Journal of supercomputing . 2021,第3期

机译：一种基于事件的方法，用于正式验证运行时自适应实时系统
2. Scen@rist:an approach for verifying self-adaptive systems using runtime scenarios [J] . Romulo Gadelha, Lucas Vieira, Davi Monteiro, Software Quality Journal . 2020,第3期

机译：Scen @ rist：使用运行时方案验证自适应系统的方法
3. Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach [J] . Davide Ancona, Daniela Briola, Angelo Ferrando, Intelligenza Artificiale . 2015,第2期

机译：故障不受控制的环境智能系统的运行时验证：统一方法
4. PROBABILISTIC ANALYSIS OF HULL GIRDER STRESSES USING AN ANALYTICAL APPROACH VERIFIED BY THE MONTE CARLO SIMULATION [C] . Lyuben D Ivanov, Ge Wang, Joe Foster International Conference on Offshore Mechanics and Arctic Engineering 2007(OMAE2007) vol.2; 20070610-15; San Deigo,CA(US) . 2007

机译：蒙特卡罗模拟验证方法在船体梁应力概率分析中的应用
5. Strongly correlated systems approach through quantum Monte Carlo. [D] . Clark, Bryan. 2009

机译：高度相关的系统通过量子蒙特卡洛方法进行。
6. Treatment verification using Varian’s dynalog files in the Monte Carlo system PRIMO [O] . Miguel Rodriguez, Lorenzo Brualla 2019

机译：在Monte Carlo系统PRIMO中使用Varian的动力记录文件进行治疗验证
7. THE MONTE CARLO APPROACH TO OPTIMIZATION OF THE OPERATION RULES FOR A SYSTEM OF STORAGE RESERVOIRS / La méthode Monte Carlo pour l'optimization des règles opératoires pour un système de réservoirs [O] . JANUSZ KINDLER 1977

机译：Monte Carlo旨在优化存储储存器/蒙特卡罗方法系统的操作规则，以优化罐系统的操作规则
8. Verification of a Monte Carlo Simulation Method to Find Lower Confidence Limits for the Availability and Reliability of Maintained Systems [R] . Barland, K. S. 1985

机译：验证蒙特卡罗模拟方法，找出维持系统可用性和可靠性的置信下限

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

著录项

引文网络

相似文献

相关主题

期刊订阅