variability in safety-critical embedded systems. tuv-sud.com VARIES是一项由工业发展推动的有关 安全 苛 求 嵌入 式系统变异性这一课题的ARTEMIS计划研究项目。 tuv-sud.cn In addition to these the ADSP-BF606 processor contains features for safety-critical applications, including a CRC for memory ...
Hepburn is the poised but pampered princess on holiday in Rome. Weary of her official duties, she bunks off and ends up in the arms of fast-talking newspaperman Joe Brad [translate] aceometry ceometry [translate] asafety-critical 安全重要 [translate] ...
1)safety-critical高安全性 英文短句/例句 1.Gasbag-type rear shock absorber with higher safety.具有较高安全性能的后气囊式减震。 2.The High-security Set-top Box Scheme Based on CAS System基于CAS系统的高安全性能机顶盒方案 3.A High-security Authentication Mechanism of the ATM一种高安全性的ATM身份...
formal methods have been widely used in specification and verification of safetycritical systems.形式化方法主要应用于安全性第一的系统的规范与形式验证。Chinese-Amercian美籍华人 在美国的中国人有 有无美国国籍之分,所以美籍华人准确的译法应该是：American citizen of Chinese desent 这些词...后面...
这些系统就是通常所说的安全性苛求系统(Safety-critical Systems)[1-3]。 在核能、航空、铁路、航天、石油、化工、医疗仪 … wenku.baidu.com|基于2个网页 2. 安全临界系统 WWW 虚拟图书馆首字母排序表 ... Russian Far East 俄罗斯远东Safety-Critical Systems安全临界系统Science Fairs 科技博 … ...
a第一 第二 第三 第四 第五 First second third fourth fifth [translate] amission- and safety-critical 使命和安全重要 [translate] 英语翻译 日语翻译 韩语翻译 德语翻译 法语翻译 俄语翻译 阿拉伯语翻译 西班牙语翻译 葡萄牙语翻译 意大利语翻译 荷兰语翻译 瑞典语翻译 希腊语翻译 51La ...
More recently, control barrier functions (CBFs) are increasingly applied to address the safety-critical control problem, such as adaptive cruise control [13], lane keeping [13], and collision-free formations [14]–[18]. The CBF-based safety-critical framework aims to synthesize controllers for ...
网络释义 1. 安全攸关软件 面向安全攸关软件(Safety-Critical Software)系统开发的重大需求,研究安全攸关软件系统的建模原理、构造方法及其运行与 … emuch.net|基于22个网页 2. 安全软件 软件全球化,software... ... ) software security 软件安全 )safety-critical software安全软件... ...
3) safety-critical system 安全性苛求系统 4) information security 安全安全 5) security 安全 1. Innovatesecuritymanagement to guarantee survival and development of enterprises; 创新安全管理 保障企业生存发展 2. Application of grey correlation analysis approach to the urban eco-securityevaluation; ...
Oxford OX1 3QD Safety-Critical Systems, Formal Methods and Standards Jonathan Bowen Victoria Stavridou Abstract Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly a ects the world of emb...