Building Heterogeneous Safety Cases for Automatically Generated Code
AIAA Infotech@Aerospace conference ; 2011 ; St. Louis, MO
01.01.2011
13 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
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
Kraftfahrwesen | 2005
|