Verification and Validation Spanning Models to Code
- 2 January 2015
- conference paper
- conference paper
- Published by American Institute of Aeronautics and Astronautics (AIAA) in AIAA Modeling and Simulation Technologies Conference
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Best practices for developing DO-178 compliant software using Model-Based DesignPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2013
- Model-Based Design for DO-178B with Qualified ToolsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2009
- Production Code Generation for Safety-Critical SystemsSAE International Journal of Advances and Current Practices in Mobility, 2004
- Using Model Coverage Analysis to Improve the Controls Development ProcessPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2002
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977