A Software Safety Certification Plug-in for Automated Code GeneratorsA viewgraph presentation on the software safety certification plug-in of an auto-generated code is shown.
Document ID
20060052940
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Denney, Ewen (Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Schumann, Johann (Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Greaves, Doug (NASA Ames Research Center Moffett Field, CA, United States)