RTCA DO 331:2011
RTCA DO 331:2011 Model-Based Development And Verification Supplement To Do-178C And Do-278A Includes modifications and additions to DO-178C and DO-278A objectives, activities, explanatory text and software life cycle data that should be addressed when model-based development and verification