原文传递
Object-oriented Software Considerations in Airborne Systems and Equipment Certification. DO-178C and Object-oriented Technology.
| 题名： | Object-oriented Software Considerations in Airborne Systems and Equipment Certification. DO-178C and Object-oriented Technology. |
| 作者： | Elliott-M. |
| 报告类型： | 科技报告 |
相关文献
- Certification of Safety-Critical Software Under DO-178C and DO-278A.
- Certification of Safety-Critical Software Under DO-178C and DO-278A.
- A Configurable, Object-Oriented, Transportation System Software Framework
- Making the Implicit Explicit: Towards an Assurance Case for DO-178C.
- Explicate '78: Uncovering the Implicit Assurance Case in DO-178C.
- Formal Methods Case Studies for DO-333.
检索历史
应用推荐
