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
Infotech , Astronautics , AIAA , Aerospace
© 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
Automotive engineering | 2005
|