Building Heterogeneous Safety Cases for Automatically Generated Code
Infotech@Aerospace 2011
01.01.2011
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
Kraftfahrwesen | 2005
|