首页> 外文OA文献 >Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions

【2h】

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions

机译：基于协同原子作用的安全关键系统的严格发展

页面导航

著录项
相似文献
相关主题

著录项

作者
J. Xu; B. Randell; E. Canver; F. von Henke; A. Romanovsky; R. J. Stroud; A.F. Zorzo; A. F. Zorzo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Rigorous development process of a safety-critical system: from ASM models to Java code [J] . Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene International Journal on Software Tools for Technology Transfer . 2017,第2期

机译：安全关键系统的严格开发过程：从ASM模型到Java代码
2. Identification of Protective Actions to Reduce the Vulnerability of Safety-Critical Systems to Malevolent Intentional Acts: An Optimization-Based Decision-Making Approach [J] . Risk analysis . 2020,第3期

机译：确定减少安全关键系统对恶意故意行为的脆弱性的保护措施：基于优化的决策方法
3. Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems [J] . Shin Young-Don, Sim Sang-Hyun, Lee Jae-Chon Systems Engineering . 2017,第3期

机译：基于模型的测试和评估过程与系统安全过程的集成，以开发安全关键武器系统
4. Rigorous development of a safety-critical system based on coordinated atomic actions [C] . Xu, J., Randell, Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on . 1999

机译：严格开发基于协调原子动作的安全关键系统
5. Development of a Web-based coordinated traffic signal system: An arterial road application. [D] . Elniema, Amin E. 2008

机译：基于Web的协同交通信号系统的开发：动脉道路应用。
6. Monitoring a Coordinated Exchange Process in a Four-Component Biological Interaction System: Development of a Time-Resolved Terbium-Based One Donor/Three-Acceptor Multi-Color FRET System [O] . Sung Hoon Kim, Jillian R. Gunther, John A. Katzenellenbogen -1

机译：在四组件生物互动系统中监测协调的交流过程：开发时间分辨的铽的捐赠者/三个受体多色FRET系统
7. Using coordinated atomic actions to design safety-critical systems: a production cell case study [O] . A. F. Zorzo, A. Romanovsky, J. Xu, 1999

机译：使用协调的原子动作来设计安全关键系统：生产单元案例研究
8. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic211 Actions [R] . Xu, J., Randell, B., Romanovsky, A., 1999

机译：基于协同原子211行为的安全关键系统的严格发展

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions

著录项

相似文献

相关主题

期刊订阅