Formal design and verification of a reliable computing platform for real-time control : phase 1 results / Ben L. Di Vito, Ricky W. Butler, James L. Caldwell.
| Author/creator | Di Vito, Ben L. |
| Other author | Butler, Ricky W. |
| Other author | Caldwell, James L. |
| Other author | Langley Research Center. |
| Format | Book |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Center, distributor], [1990] |
| Description | 1 volume. |
| Subjects |
| Series | NASA technical memorandum ; 102716 NASA technical memorandum 102716. ^A467613 |
| General note | Distributed to depository libraries in microfiche. |
| Reproduction note | Joyner- Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1990] 1 microfiche. |
| GPO item number | 0830-D (MF) |
| Govt. docs number | NAS 1.15:102716 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | NAS 1.15:102716 | ✔ Available |