<--- Back to Details
First PageDocument Content
Manned spacecraft / Reuse / Lifting bodies / Space access / Spacecraft propulsion / HL-20 Personnel Launch System / Reusable launch system / Space Shuttle / Maintenance /  repair /  and operations / Spaceflight / Space technology / Aerospace engineering
Date: 1996-10-07 17:02:22
Manned spacecraft
Reuse
Lifting bodies
Space access
Spacecraft propulsion
HL-20 Personnel Launch System
Reusable launch system
Space Shuttle
Maintenance
repair
and operations
Spaceflight
Space technology
Aerospace engineering

Add to Reading List

Source URL: www.cs.odu.edu

Download Document from Source Website

File Size: 637,32 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / High-level programming languages / Functional languages / Initialization / Variable / ALGOL 68 / Pure / Term

Search, Align, and Repair: Data-Driven Feedback

DocID: 1xVRZ - View Document

Boolean algebra / Forcing / Theoretical computer science / Mathematics / Complete Boolean algebra / Order theory / Assertion / Mathematical logic

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

DocID: 1xVPw - View Document

Mathematics / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / NC / Term / For loop / Kazhdan's property

Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

DocID: 1xVFR - View Document

Computing / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / Expr / NC / For loop / Term

Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

DocID: 1xUbk - View Document

Computing / Network architecture / Internet architecture / Routing protocols / Internet / Internet protocols / Internet Standards / Routing / Border Gateway Protocol / Router / Forwarding plane / Control plane

Integrating Verification and Repair into the Control Plane Aaron Gember-Jacobson Costin Raiciu

DocID: 1xTnh - View Document