Building Heterogeneous Safety Cases for Automatically Generated Code
Infotech@Aerospace 2011
2011-01-01
Conference paper
Electronic Resource
English
Building Heterogeneous Safety Cases for Automatically Generated Code
British Library Conference Proceedings | 2011
|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
Automotive engineering | 2005
|