← 适航资料库
RTCADO-333行业标准
DO-178C 与 DO-278A 的形式化方法补充
Formal Methods Supplement to DO-178C and DO-278A
RTCA 发布的行业标准。提供发布机构原版获取入口；原文与译文按已登记的可用文件提供；正式引用请核对发布机构对应版本。
- 文件版本
- 初版
- 发布状态
- 已发布
- 发布日期
- 2011-12-13
- 目录核查
- 2026-10-08
阅读与下载
暂未公开英文全文
当前条目提供文件信息与官方出处；可通过发布机构页面查阅或取得对应文件。
官方出处与版本核对
前往 RTCA 官方发布／标准页面 ↗适用范围、修订状态与正式条文以发布机构为准。收费标准通过官方页面获取；目录信息与中文导读不替代标准全文。