Date: 2008-02-04 06:30:24

Cross-platform software

Safety

Software testing

Formal methods

TargetLink

C

DO-178B

Formal verification

Simulink

Software

Computing

Compiler construction

Overview of Safeguarding Techniques for Automatically Generated Code

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 247,47 KB