A methodology for evaluating artifacts produced by a formal verification process / Radu I. Siminiceanu, Paul S. Miner and Suzette Person.
| Author/creator | Siminiceanu, Radu I. |
| Other author | Miner, Paul S., 1962- |
| Other author | Person, Suzette. |
| Other author | NASA Glenn Research Center. |
| Format | Electronic |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] |
| Description | 1 online resource (23 p.) : col. ill. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo24326 |
| Series | NASA/TM ; 2011-217193 NASA technical memorandum 2011-217193. ^A467613 |
| General note | Title from title screen (viewed on June 22, 2012). |
| General note | "November 2011." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (p. 22). |
| Report note | Technical memorandum; 01/2011-07/2011. |
| Funding information | Sponsored by National Aeronautics and Space Administration 402600.04.04.04 |
| Funding information | L-20068 |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:2011-217193 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |