2 options
Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study / Hamza Bourbouh [and three others].
- Format:
- Book
- Government document
- Author/Creator:
- Bourbouh, Hamza, author.
- Series:
- NASA technical memorandum ; 20205011049.
- NASA/TM ; 20205011049
- Language:
- English
- Physical Description:
- 1 online resource (59 pages, 1 unnumbered page) : illustrations (some color).
- Place of Publication:
- Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, December 2020.
- Notes:
- "December 2020."
- Includes bibliographical references (page 44).
- Description based on online resource, PDF version; title from title page (NASA, viewed on Jan. 4, 2021).
- OCLC:
- 1228814575
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.