SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Brief summary of the decision factors considered and process improvement steps made, to evolve the ESMO debris avoidance maneuver process to a more automated process. Presentation is in response to an action item/question received at a prior MOWG meeting.
Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.