首页> 外文OA文献 >Verified Safety and Information Flow of a Block Device

【2h】

Verified Safety and Information Flow of a Block Device

机译：已验证的块设备的安全性和信息流

代理获取

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

页面导航

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

著录项

作者
Graunke Paul;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Practically applicable devices for blocking the gap flow of a horn rudder to reduce rudder cavitation and their verification through numerical simulations [J] . Daewon Seo, Seung-Hee Lee, Sang-Hyun Kim, Journal of marine science and technology . 2012,第1期

机译：实用的装置，用于阻止角舵的间隙流动以减少舵空化，并通过数值模拟进行验证
2. Verification and validation of safety applications based on PLCopen safety function blocks [J] . Doaa Soliman, Georg Frey Control Engineering Practice . 2011,第9期

机译：基于PLCopen安全功能块的安全应用程序的验证和确认
3. Probabilistic Models to Assess the Seismic Safety of Rigid Block-Like Elements and the Effectiveness of Two Safety Devices [J] . Contento Alessandro, Gardoni Paolo, Di Egidio Angelo, Journal of structural engineering . 2019,第11期

机译：刚性块状单元地震安全性评估的概率模型和两个安全装置的有效性
4. Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal [C] . Doaa Soliman, Georg Frey IFAC Workshop on Dependable Control of Discrete Systems . 2009

机译：基于PLCOPEN安全功能块的验证和验证UPPAAL定时自动机的基于PLCOPEN安全功能块
5. Formal verification techniques for safety critical medical device software control. [D] . Shuja, Sana. 2016

机译：用于安全关键医疗设备软件控制的正式验证技术。
6. In-hospital verification of non-CE-marked respiratory protective devices to ensure safety of healthcare staff during the COVID-19 outbreak [O] . R.A.C. van Wezel, A.C.T. Vrancken, M. Ernest, -1

机译：非CE标记呼吸防护设备的院内验证以确保COVID-19爆发期间医护人员的安全
7. In-hospital verification of non-CE-marked respiratory protective devices to ensure safety of healthcare staff during the COVID-19 outbreak [O] . R.A.C. van Wezel, A.C.T. Vrancken, M. Ernest, 2020

机译：在医院验证非CE标记的呼吸保护装置，以确保在Covid-19爆发期间保健人员的安全性

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号