A viewgraph presentation on the software safety certification plug-in of an auto-generated code is shown.
A Software Safety Certification Plug-in for Automated Code Generators
Software Assurance Symposium ; 2006 ; Morgantown, WV, United States
2006-01-01
Conference paper
No indication
English
Model based development with code generators - verification, testing and certification
Tema Archive | 2007
|