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
01.01.2006
Aufsatz (Konferenz)
Keine Angabe
Englisch