Verifying code automatically generated from an executable model
Die Verifizierung eines Codes, der aus einem ausfuehrbaren Modell automatisch erzeugt wurde.
2005
6 pages
SAE-Paper;2005-01-1665;2005;Automotive Electronics;SAE Spec.Publ.; SP-1980
Miscellaneous
English
Verifying Code Automatically Generated From an Executable Model
SAE Technical Papers | 2005
|2005-01-1665 Verifying Code Automatically Generated From an Executable Model
British Library Conference Proceedings | 2005
|Adding Assurance to Automatically Generated Code
NTRS | 2004
|Building Heterogeneous Safety Cases for Automatically Generated Code
British Library Conference Proceedings | 2011
|