首页> 外文OA文献 >Systematic evaluation of fault trees using real-time model checker UPPAAL

【2h】

Systematic evaluation of fault trees using real-time model checker UPPAAL

机译：使用实时模型检查器UppaaL对故障树进行系统评估

代理获取

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

页面导航

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

著录项

作者
Sungdeok Chaa; Hanseong Sonb; Junbeom Yooa; Eunkyung Jeea; Poong Hyun Seongc;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Systematic evaluation of fault trees using real-time model checker UPPAAL [J] . Sungdeok Cha, Hanseong Son, Junbeom Yoo, Reliability Engineering & System Safety . 2003,第1期

机译：使用实时模型检查器UPPAAL对故障树进行系统评估
2. Development and Evaluation of Symbolic Model Checker Based on Approximation for Real-Time Systems [J] . Satoshi Yamane, Kazuhiro Nakamura Systems and Computers in Japan . 2004,第10期

机译：基于逼近的实时系统符号模型检查器的开发与评估
3. Using decision tree modelling to support Peircian abduction in IS research: a systematic approach for generating and evaluating hypotheses for systematic theory development [J] . Kweku-Muata Osei-Bryson, Ojelanki Ngwenyama Information systems journal . 2011,第5期

机译：使用决策树建模来支持IS研究中Peircian绑架：一种用于生成和评估假设以进行系统理论发展的系统方法
4. Evaluation of model checkers SPIN AND UPPAAL for testing wireless sensor network routing protocols [C] . Fatima T., Saghar K., Ihsan A. International Bhurban Conference on Applied Sciences and Technology . 2015

机译：评估模型检查器SPIN和UPPAAL以测试无线传感器网络路由协议
5. Verification of a medium-sized real-time software system with model checking tools (Xuppaal and Kronos) [D] . Gil, YunJae 2000

机译：使用模型检查工具（Xuppaal和Kronos）验证中型实时软件系统
6. Assessing food system vulnerabilities: a fault tree modeling approach [O] . Gwen M. Chodur, Xilei Zhao, Erin Biehl, 2018

机译：评估食品系统漏洞：故障树建模方法
7. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [O] . Havelund Klaus, Larsen Kim Guldstrand, Skou Arne 1999

机译：使用实时模型检查器UPPAAL对电源控制器进行形式验证
8. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [R] . Havelund, Klaus, Larsen, Kim Guldstrand, Skou, Arne 1999

机译：使用实时模型检查器UppaaL对电源控制器进行形式验证

Systematic evaluation of fault trees using real-time model checker UPPAAL

著录项

引文网络

相似文献

相关主题

期刊订阅