Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Install
Faster access than browser!
 

Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal

Gerard J. Holzmann vs. NASA Exceptional Engineering Achievement Medal

Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. The NASA Exceptional Engineering Achievement Medal (abbreviated EEAM) was established by NASA in 1981 to recognize unusually significant engineering contributions towards achievement of aeronautical or space exploration goals.

Similarities between Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal

Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal have 1 thing in common (in Unionpedia): NASA.

NASA

The National Aeronautics and Space Administration (NASA) is an independent agency of the executive branch of the United States federal government responsible for the civilian space program, as well as aeronautics and aerospace research.

Gerard J. Holzmann and NASA · NASA and NASA Exceptional Engineering Achievement Medal · See more »

The list above answers the following questions

Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal Comparison

Gerard J. Holzmann has 25 relations, while NASA Exceptional Engineering Achievement Medal has 22. As they have in common 1, the Jaccard index is 2.13% = 1 / (25 + 22).

References

This article shows the relationship between Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal. To access each article from which the information was extracted, please visit:

Hey! We are on Facebook now! »