← 适航资料库
RTCADO-333行业标准
DO-178C 与 DO-278A 的形式化方法补充
Formal Methods Supplement to DO-178C and DO-278A
RTCA 发布的行业标准。提供发布机构原版获取入口；原文与译文按已登记的可用文件提供；正式引用请核对发布机构对应版本。
- 文件版本
- 初版
- 发布状态
- 已发布
- 发布日期
- 2011-12-13
- 目录核查
- 2026-10-08
阅读与下载
2026-11-08核验：对应2011-12-13英文原版（118个PDF页）；个人非官方学习译稿。现有语言与结构校验记录已核对，译文、英文工作源及中英对照的文件哈希与冻结记录一致；专业适航／软件技术批准尚未完成，不替代正式英文标准。网页公式保留Markdown记法，公式排版请下载Word并对照原版。 用户已有Word导出文件，原样提供。
- 下载中文译文（Markdown） ↓
个人中文译文
中文 · MARKDOWN · 本站提供
- 下载中文译文（Markdown） ↓
个人中英对照译稿（Markdown）
中文 · MARKDOWN · 本站提供
- 下载文件 ↓
中文译稿 Word
中文 · DOCX · 本站提供
- 下载文件 ↓
中英对照 Word
中文 · DOCX · 本站提供
中文译文
滚动至此处时载入文字正文。
官方出处与版本核对
前往 RTCA 官方发布／标准页面 ↗适用范围、修订状态与正式条文以发布机构为准。收费标准通过官方页面获取；目录信息与中文导读不替代标准全文。