Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study /
| Main Author: | |
|---|---|
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Moffett Field, CA :
National Aeronautics and Space Administration, Ames Research Center,
December 2020.
|
| Series: | NASA technical memorandum ;
20205011049. |
| Subjects: | |
| Online Access: | https://purl.fdlp.gov/GPO/gpo149683 |
| Item Description: | "December 2020." |
|---|---|
| Physical Description: | 1 online resource (59 pages, 1 unnumbered page) : illustrations (some color). |
| Bibliography: | Includes bibliographical references (page 44). |