首页> 外文会议>Computer Science and Information Technology, 2008 International Multiconference on >Software certification for safety-critical systems: A status report

【24h】

Software certification for safety-critical systems: A status report

机译：安全关键系统的软件认证：状态报告

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《Computer Science and Information Technology, 2008 International Multiconference on》||P.665-672|共8页
会议地点
作者
Kornecki Andrew; Zalewski Janusz;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类工业技术;
关键词

相似文献

外文文献
中文文献
专利

1. Software certification of safety-critical avionic systems: DO-178C and its impacts [J] . Youn Won Keun, Hong Seung Bum, Oh Kyung Ryoon, Aerospace and Electronic Systems Magazine, IEEE . 2015,第4期

机译：安全关键型航空电子系统的软件认证：DO-178C及其影响
2. Software and hardware certification of safety-critical avionic systems: A comparison study [J] . Wonkeun Youn, Baeck-jun Yi Computer standards & interfaces . 2014,第6期

机译：安全关键型航空电子系统的软件和硬件认证：比较研究
3. Certification of software for real-time safety-critical systems: state of the art [J] . Andrew Kornecki, Janusz Zalewski Innovations in Systems and Software Engineering . 2009,第2期

机译：实时安全关键系统的软件认证：最新技术
4. Software Certification for Safety-Critical Systems: A Status Report [C] . Andrew Kornecki, Janusz Zalewski International Multiconference on Computer Science and Information Technology . 2008

机译：安全关键系统软件认证：状态报告
5. Exploring Government Contractor Experiences Assessing and Reporting Software Development Status. [D] . Texel, Putnam P. 2015

机译：探索政府承包商的经验评估和报告软件开发状况。
6. Population‐level evidence of survival benefits of patient‐reported outcome symptom monitoring software systems in routine cancer care [O] . Ethan Basch, Marjory Charlot, Amylou C. Dueck 2020

机译：患者报告的结果症状监测软件系统在常规癌症护理中的人口水平证据
7. Model-driven software development of safety-critical avionics systems: an experience report [O] . Hovsepyan Aram, Van Landuyt Dimitri, Op de beeck Steven, 2014

机译：安全关键航空电子系统的模型驱动软件开发：经验报告
8. Safety-Critical Software: Status Report and Annotated Bibliography [R] . Place, P. R., Kang, K. C. 1993

机译：安全关键软件：状态报告和带注释的参考书目

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号