Back to Results
First PageMeta Content
Unmanned spacecraft / GrammaTech / Gerard J. Holzmann / Mars Science Laboratory / Reliability engineering / Mars Global Surveyor / Software development / Spaceflight / Spacecraft / Space technology


National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011
Add to Reading List

Document Date: 2014-11-26 00:46:21


Open Document

File Size: 1,23 MB

Share Result on Facebook

City

Ithaca / /

Company

N ASA T / Jet Propulsion Laboratory / NASA’s Jet Propulsion Laboratory / GE Aviation / Panasonic / LG Electronics Inc. / Samsung / Mars Science Laboratory / GrammaTech Inc. / /

Event

Product Issues / Reorganization / Product Recall / /

Facility

Mars Science Laboratory / Jet Propulsion Laboratory / JPL’s Laboratory / /

IndustryTerm

consumer electronics / spacecraft software / onboard software / static analysis tool / software testing methods / fault protection systems / well-functioning software / mechanical systems / software development / wireless devices / static code analysis tools / software development practice / software defect / /

Organization

U.S. Food and Drug Administration / Laboratory for Reliable Software / National Aeronautics and Space Administration / /

Person

Michael McDougall / Gerard Holzmann / /

Position

manager / senior scientist / /

Product

CodeSonar / Mars Global Surveyor / device / /

ProvinceOrState

New York / /

Technology

cellular telephone / 139 Information Technology / wireless devices / Information Technology / cell phones / 138 Information Technology / /

SocialTag