High-Integrity Code Generation and Verification

[labfans]

Explore how code generation and Model-Based Design with Simulink fit within software engineering frameworks for developing high-integrity flight software.

更多... (http://www.mathworks.com/company/newsletters/aero_digest/feb05/codegen.html)