Concepedia

Author

Gerard J. Holzmann

Jet Propulsion LaboratoryORCID

Also Known As

Chetan Arora, G.J. Holzmann, Gerard Holzmann, Gerard J Holzmann, Gerard J. Holzmann, Holzmann, Gerard, NFM 2015 Pasadena, Calif.

62

Publications

7.2K

Citations

20

H-Index

50

Concepts

All Affiliations

Jet Propulsion LaboratoryCalifornia Institute of TechnologyReliable Software Resources (United States)Nokia (United States)AT&T (United States)
GJ

About

Gerard J. Holzmann is an author at Jet Propulsion Laboratory specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

15

4.3K

2

Computer Science

13

15

4.3K

3

Computer Engineering

7

7

4.1K

4

Humanities

1

1

11

5

Data Science

1

1

38

Gerard J. Holzmann

×

19

Publications

4.6K

Citations

16

H-Index

YearCitations

Page 1