Safety critical software development for space application: invited talk abstract

Workshop on Software and Performance Pub Date : 2005-07-12 DOI:10.1145/1071021.1071054

M. Turin

引用次数: 0

Abstract

This talk provides an overview of methods and tools used for space software development & verification by EADS Space Transportation.

查看原文本刊更多论文

空间应用安全关键软件开发:特邀演讲摘要

本次演讲概述了EADS空间运输公司用于空间软件开发和验证的方法和工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量