Back to Results
First PageMeta Content
Mars Exploration Rover / Gerard J. Holzmann / NASA personnel / Unmanned spacecraft / Holzmann / Software bug / Mars Science Laboratory / SPIN model checker / Jet Propulsion Laboratory / Spaceflight / Space technology / Spacecraft


NASA developer secures way to the stars - SD Times On The Web Page 1 of 3 As of May 01, :55 AM
Add to Reading List

Document Date: 2009-05-08 19:16:21

Open Document

File Size: 27,71 KB

Share Result on Facebook

City

Amsterdam / Pasadena / /

Company

IBM / SD Times / AT&T / Sun Microsystems / NASA Jet Propulsion Laboratory / JPL Laboratory / T’s Bell Labs / Oracle / Mars Science Laboratory / BZ Media LLC / /

Country

Netherlands / /

Currency

USD / /

/

Event

M&A / /

Facility

JPL Laboratory / NASA Jet Propulsion Laboratory / Delft University of Technology / Computing Science Research Center / /

IndustryTerm

encryption software / software malfunctions / software patent process / created software / flight software development team / mechanical devices / software patents / software makers / software changes / security software / flight software / software systems / software defects / /

Organization

Laboratory for Reliable Software / National Aeronautics and Space Administration / Mars Science Laboratory mission / Delft University of Technology / /

Person

Gerard Holzmann / /

/

Position

engineer / /

Product

kindle / /

ProgrammingLanguage

ANSI C / /

Technology

encryption / virtual machine / ANSI C / /

URL

http /

SocialTag