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
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verifying Code Automatically Generated From an Executable Model
SAE Technical Papers | 2005
|Verifying code automatically generated from an executable model
Kraftfahrwesen | 2005
|2005-01-1665 Verifying Code Automatically Generated From an Executable Model
British Library Conference Proceedings | 2005
|