Media Summary: On August 5 at 10:18 p.m. PDT, a large rover named Curiosity made a soft landing on the surface of September 2017 ACM lecture "Proof or Consequences" by Dr softwareengineering Source: The Power of Ten – Rules for Developing Safety Critical

Mars Code Gerard Holzmann Jpl - Detailed Analysis & Overview

On August 5 at 10:18 p.m. PDT, a large rover named Curiosity made a soft landing on the surface of September 2017 ACM lecture "Proof or Consequences" by Dr softwareengineering Source: The Power of Ten – Rules for Developing Safety Critical When the NASA rover Perseverance landed on The virtual NASA Social continues as we take you behind the scenes of NASA's NASA is considering a mission concept for an advanced, nuclear-powered rover to be deployed to the Moon's South Pole as part ...

Daren Rhoades, new product development manager for Siemens PLM and former

Photo Gallery

Mars Code - Gerard Holzmann, JPL Laboratory for Reliable Software
Gerard Holzmann - Proof or Consequences
The Power of Ten: Code Rules that Landed Curiosity on Mars
Software in the Perseverance Rover
holzmann
FSW 2022: Interactive Code Analysis with Cobra - Gerard J. Holzmann
From NASA JPL intern to engineer on Mars mission
Building Curiosity: Getting Wired for Mars
#CountdownToMars NASA Social: NASA's Jet Propulsion Laboratory
PROMISE: NASA’s Nuclear-Powered Lunar Rover Concept
Living on Mars Time | NASA JPL Engineer Nagin Cox Shares Her Experience
[NASA/JPL] - Landing on Mars is one of the toughest jobs on Earth
View Detailed Profile
Mars Code - Gerard Holzmann, JPL Laboratory for Reliable Software

Mars Code - Gerard Holzmann, JPL Laboratory for Reliable Software

On August 5 at 10:18 p.m. PDT, a large rover named Curiosity made a soft landing on the surface of

Gerard Holzmann - Proof or Consequences

Gerard Holzmann - Proof or Consequences

September 2017 ACM lecture "Proof or Consequences" by Dr

The Power of Ten: Code Rules that Landed Curiosity on Mars

The Power of Ten: Code Rules that Landed Curiosity on Mars

softwareengineering #nasajpl #curiosityrover #notebooklm Source: The Power of Ten – Rules for Developing Safety Critical

Software in the Perseverance Rover

Software in the Perseverance Rover

... look for signs of ancient life on

holzmann

holzmann

Gerard Holzmann

FSW 2022: Interactive Code Analysis with Cobra - Gerard J. Holzmann

FSW 2022: Interactive Code Analysis with Cobra - Gerard J. Holzmann

Gerard

From NASA JPL intern to engineer on Mars mission

From NASA JPL intern to engineer on Mars mission

When the NASA rover Perseverance landed on

Building Curiosity: Getting Wired for Mars

Building Curiosity: Getting Wired for Mars

Engineers test new software for NASA's

#CountdownToMars NASA Social: NASA's Jet Propulsion Laboratory

#CountdownToMars NASA Social: NASA's Jet Propulsion Laboratory

The #CountdownToMars virtual NASA Social continues as we take you behind the scenes of NASA's

PROMISE: NASA’s Nuclear-Powered Lunar Rover Concept

PROMISE: NASA’s Nuclear-Powered Lunar Rover Concept

NASA is considering a mission concept for an advanced, nuclear-powered rover to be deployed to the Moon's South Pole as part ...

Living on Mars Time | NASA JPL Engineer Nagin Cox Shares Her Experience

Living on Mars Time | NASA JPL Engineer Nagin Cox Shares Her Experience

NASA

[NASA/JPL] - Landing on Mars is one of the toughest jobs on Earth

[NASA/JPL] - Landing on Mars is one of the toughest jobs on Earth

NASA's

Designing the NASA JPL's Mars Curiosity Rover

Designing the NASA JPL's Mars Curiosity Rover

Daren Rhoades, new product development manager for Siemens PLM and former