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
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
Kraftfahrwesen | 2005
|