2005-01-1665 Verifying Code Automatically Generated From an Executable Model
Controller system software testing and validation ; 2005 ; Detroit, MI
2005-01-01
6 pages
Papers from a session of the SAE 200 World Congress. Includes bibliographic references.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verifying code automatically generated from an executable model
Automotive engineering | 2005
|Verifying Code Automatically Generated From an Executable Model
SAE Technical Papers | 2005
|Adding Assurance to Automatically Generated Code
NTRS | 2004
|DataCite | 1877
Building Heterogeneous Safety Cases for Automatically Generated Code
British Library Conference Proceedings | 2011
|