Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study /

Bibliographic Details

Main Author:	Bourbouh, Hamza (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:	Semantics.
Online Access:	https://purl.fdlp.gov/GPO/gpo149683