Date: 2010-06-14 15:13:00

Knowledge

Validation

Verification

Formal verification

Runtime verification

Specification

Formal specification

Software development process

Modeling language

Formal methods

Science

Technology

UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software

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

File Size: 315,35 KB