Automating the generation of heterogeneous aviation safety cases / Ewen W. Denney, Ganesh J. Pai, Josef M. Pohl.
| Author/creator | Denney, Ewen W. author. |
| Other author | Pai, Ganesh J., author. |
| Other author | Pohl, Josef M., author. |
| Other author | Ames Research Center issuing body. |
| Format | Electronic |
| Publication | Moffett Field, California : National Aeronautics and Space Administration, Ames Research Center, 2011. |
| Description | 1 online resource (96 pages) : illustrations (some color). |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo37139 |
| Series | NASA/CR ; 2011-215983 NASA contractor report ; NASA CR-2011-215983. ^A441636 |
| General note | Title from title screen (viewed on June 3, 2013). |
| General note | "August 2011." |
| Bibliography note | Includes bibliographical references (pages 82-85). |
| GPO item number | 0830-H-14 (online) |
| Govt. docs number | NAS 1.26:2011-215983 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |