Gerard J. Holzmann
Auteur van Design and Validation of Computer Protocols
Over de Auteur
Dr. Gerard J. Holzmann is the principal designer of the Spin system. Formerly Director of Computing Principles Research at Bell Laboratories in Murray Hill, N.J., he recently joined NASA's Jet Propulsion Laboratory in Pasadena, CA
Werken van Gerard J. Holzmann
Using SPIN 1 exemplaar
Tagged
Algemene kennis
- Geboortedatum
- 1951
- Geslacht
- male
- Geboorteplaats
- Amsterdam, Netherlands
- Organisaties
- National Academy of Engineering (Member)
ACM (Fellow, 2011) - Prijzen en onderscheidingen
- Paris Kanellakis Theory and Practice Award (2005)
NASA Exceptional Engineering Achievement Medal (2012)
Leden
Besprekingen
The Spin Model Checker: Primer and Reference Manual door Gerard J. Holzmann
for Degree, good reference when doing assignments.
Statistieken
- Werken
- 5
- Leden
- 76
- Populariteit
- #233,522
- Waardering
- 4.8
- Besprekingen
- 1
- ISBNs
- 6