首页> 外文OA文献 >Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system

【2h】

Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system

机译：以spa-4系统为例安全实现平交道口自动微处理器系统

代理获取

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

页面导航

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

著录项

作者
Mieczysław KORNASZEWSKI; Zbigniew ŁUKASIK;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system [J] . Mieczys?aw KORNASZEWSKI, Zbigniew ?UKASIK Transport Problems: an International Scientific Journal: Problemy Transportu . 2007,第2期

机译：以SPA-4系统为例，安全实施平交路口自动微处理器系统
2. Safety integrity levels model for safety-related systems with automatic diagnoses [J] . Takuya Kawahara, Akihiro Ichitsuka, Yoshinobu Sato, 電子情報通信学会技術研究報告. 電子部品·材料. Component Parts and Materials . 2000,第707期

机译：具有自动诊断功能的安全相关系统的安全完整性级别模型
3. Safety integrity levels model for safety-related systems with automatic diagnoses [J] . Takuya Kawahara, Akihiro Ichitsuka, Yoshinobu Sato, 電子情報通信学会技術研究報告. 電子部品·材料. Component Parts and Materials . 2000,第707期

机译：具有自动诊断功能的安全相关系统的安全完整性级别模型
4. Safety of level crossings on the integrated crossing control system using electronic controller [C] . Industrial Electronics, 2001. Proceedings. ISIE 2001. IEEE International Symposium on . 2001

机译：使用电子控制器的综合道口控制系统上的道口安全
5. Automatic generation of invariants in formal verification of microprocessors and memory systems. [D] . Abu-Haimed, Husam Saad. 2004

机译：在微处理器和存储系统的形式验证中自动生成不变量。
6. 2006. Implementation of the T2 Biosystems T2Bacteria Panel in a Level-One Trauma Center Safety Net Hospital [O] . Caitlin Robinson, Rebecca Jackson, Angela Sauaia, -1

机译：2006年。在安全网医院一级创伤中心实施T2生物系统T2细菌检测小组
7. “It’s pathological”: Exploring gaps in the whole-systems udapproach for managing operations and safety risk at a udfully automatic rail level crossing [O] . Naweed Anjum, Rose Janette, Larue Gregoire, 2016

机译：“这是病态的”：探索整个系统中的空白 ud管理操作和安全风险的方法全自动铁路平交道口
8. Potential Means of Cost Reduction in Grade Crossing Automatic Gate Systems. Volume I:Overview and Low Cost Railroad/Highway Grade Crossing Gate Systems. [R] . st. amant,andrew 1977

机译：等级交叉自动门系统成本降低的潜在手段。第一卷：概述和低成本铁路/公路等级交叉门系统。

Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system

著录项

引文网络

相似文献

相关主题

期刊订阅