Concepedia

Josef Pohl

JP

Statistics

Publications

3

Citations

58

H-Index

3

Active since

2011

Affiliations

Ames Research Center(Current)

Josef Pohl is an author at Ames Research Center specializing in safety requirements, engineering, and formal methods.

Publications per year

2011–2012

3

Publications

3

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal

Ewen Denney, Ganesh Pai, Josef Pohl · 2012 · 23 citations

, , +16

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal

Ewen Denney, Ganesh Pai, Josef Pohl · International Conference on Engineering of Complex Computer Systems · 2012 · 22 citations

, , +16

Automating the Generation of Heterogeneous Aviation Safety Cases

Ewen Denney, Ganesh Pai, Josef Pohl · 2011 · 13 citations · Full text

, , +17

1–3 of 3