Fail-Safe Testing of Safety-Critical Systems

机译：安全关键系统的故障安全测试

代理获取

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

页面导航

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

著录项

作者
Ahmed Gario; A. von Mayrhauser Andrews;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Fail-safe testing of safety-critical systems: a case study and efficiency analysis [J] . Ahmed Gario, Anneliese Andrews, Seana Hagerman Software Quality Journal . 2018,第1期

机译：安全关键系统的故障安全测试：案例研究和效率分析
2. BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems [J] . Tianhua Xu, Haifeng Wang, Tangming Yuan, IEEE Transactions on Intelligent Transportation Systems . 2016,第9期

机译：基于BDD的安全关键离散事件系统故障安全监控控制器的综合
3. Software Testing for Safety-Critical Applications - Functional and performance testing for real-time automation systems [J] . Lingfeng Wang, Kay Chen Tan IEEE instrumentation & measurement magazine . 2005,第2期

机译：安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
4. Fail-Safe Testing of Safety-Critical Systems [C] . Ahmed Gario, A. von Mayrhauser Andrews Australian Software Engineering Conference . 2014

机译：安全关键系统的故障安全测试
5. Fail-safe testing of safety-critical systems. [D] . Gario, Ahmed. 2014

机译：安全关键系统的故障安全测试。
6. Correlation between Ionospheric Spatial Decorrelation and Space Weather Intensity for Safety-Critical Differential GNSS Systems [O] . Jinsil Lee, Jiyun Lee 2019

机译：安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
7. Development of a framework for automated systematic testing of safety-critical embedded systems [O] . Kandl, S., Kirner, Raimund, Puschner, P. 2006

机译：开发安全关键嵌入式系统自动化系统测试框架

Fail-Safe Testing of Safety-Critical Systems

著录项

引文网络

相似文献

相关主题

期刊订阅