Formal verification of AI software / John Rushby, R. Alan Whitehurst.
| Author/creator | Rushby, John, 1949- |
| Other author | Whitehurst, R. Alan. |
| Other author | Langley Research Center. |
| Format | Electronic |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989] |
| Description | 1 volume. |
| Supplemental Content | https://purl.fdlp.gov/GPO/LPS113685 |
| Series | NASA contractor report ; 181827 NASA contractor report ; NASA CR-181827. ^A441636 |
| General note | Title from title screen (viewed June 11, 2009). |
| Technical details | Mode of access: Internet from the NTRS web site. Address as of 06/11/09: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015440%5F1989015440.pdf ; current access is available via PURL. |
| GPO item number | 0830-H-14 (online) |
| Govt. docs number | NAS 1.26:181827 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |