Gerard J. Holzmann - Publications, H-index & Citations | Canyam

Not logged in

Back

G

Gerard J. Holzmann

national aeronautics & space administration (nasa)

40H-index

136Paper Count

6.9KCitation Count

Published Papers 23

Publication Date

Keeping It Simple: Agile Analysis

IF3

2021-05-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2021-01-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2020-07-01

1

PREAI

Holzmann, Gerard J.

Share

Save

Predicting the Past

IF3

2020-03-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2019-11-01

1

PREAI

Holzmann, Gerard J.

Share

Save

Does Not Compute

IF3

2019-05-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2019-03-01

1

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2018-09-01

0

PREAI

Holzmann, Gerard J.

Share

Save

Software Components

IF3

2018-05-01

1

PREAI

Holzmann, Gerard J.

Share

Save

RELIABLE CODE Ends and Means

IF3

2018-01-01

0

PREAI

Holzmann, Gerard J.

Share

Save

A Tale of Three Programs

IF3

2017-05-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2017-03-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2017-01-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2016-11-01

0

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2016-09-01

1

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2016-03-01

8

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2015-11-01

2

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2015-09-01

2

PREAI

Holzmann, Gerard J.

Share

Save

IF3

2015-03-01

10

OAAI

Holzmann, Gerard J.

Share

Save

RELIABLE CODE Fault Intolerance

IF3

2014-11-01

2

PREAI

Holzmann, Gerard J.

Share

Save