Building Heterogeneous Safety Cases for Automatically Generated Code
AIAA Infotech@Aerospace conference ; 2011 ; St. Louis, MO
2011-01-01
13 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Adding Assurance to Automatically Generated Code
NTRS | 2004
|Verifying Code Automatically Generated From an Executable Model
SAE Technical Papers | 2005
|Verifying code automatically generated from an executable model
Automotive engineering | 2005
|