DMCA. Copyrighted Work that you can Claim.
Base have 2315513 titles. Books: 2315513. Articles: 0
Search: 

Preview Building Trust in a Model-Based Automatic Code Generator - SIGAda pdf file

in DO-178C (Software Considerations in Airborne Systems), and ... verifying a level-A safety-critical embedded software component, ... embedded-software modules is practical because in many cases .... Developing a formally certified code generator for Simulink ... Guide for Aviation Software and DO-178C Compliance,.



Related links: