Loading...
Please wait, while we are loading the content...
Similar Documents
Proving the correctness of the flight director program eadifd. volume 2: proofs of paths 1-29
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Lee, F. J. |
| Copyright Year | 1977 |
| Description | For abstract, see N77-29826. |
| File Size | 14772371 |
| Page Count | 109 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19770022883 |
| Archival Resource Key | ark:/13960/t3wt3gc38 |
| Language | English |
| Publisher Date | 1977-07-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Assembly Language Proving Airborne/spaceborne Computers Automatic Flight Control Aircraft Guidance Computer Programs Symbolic Programming Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |