Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study / Hamza Bourbouh [and three others].
| Author/creator | Bourbouh, Hamza author. |
| Other author | Ames Research Center issuing body. |
| Format | Electronic |
| Publication | Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, December 2020. |
| Description | 1 online resource (59 pages, 1 unnumbered page) : illustrations (some color). |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo149683 |
| Series | NASA/TM ; 20205011049 NASA technical memorandum 20205011049. ^A467613 |
| General note | "December 2020." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (page 44). |
| Source of description | Description based on online resource, PDF version; title from title page (NASA, viewed on Jan. 4, 2021). |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:20205011049 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |