Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.
| Author/creator | Siminiceanu, Radu I. |
| Other author | Cataño, Néstor. |
| Other author | Langley Research Center. |
| Format | Electronic |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] |
| Description | 1 online resource (31 pages). |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo16668 |
| Series | NASA/CR ; 2011-217170 NASA contractor report ; NASA CR-217170. ^A441636 |
| General note | Title from title screen (viewed on Dec. 21, 2011). |
| General note | "August 2011." |
| Bibliography note | Includes bibliographical references. (p. 19-20). |
| Funding information | Prepared cooperative agreement NNX08AC59A 534723.02.02.07.40 |
| GPO item number | 0830-H-14 (online) |
| Govt. docs number | NAS 1.26:2011-217170 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |