Login / Signup
Josef Pohl
Publication Activity (10 Years)
Years Active: 2007-2012
Publications (10 Years): 0
Top Topics
Data Model
Co Occurrence
Top Venues
SAFECOMP Workshops
ICECCS
</>
Publications
</>
Ewen Denney
,
Ganesh Pai
,
Josef Pohl
AdvoCATE: An Assurance Case Automation Toolset.
SAFECOMP Workshops
(2012)
Ewen Denney
,
Ganesh Pai
,
Josef Pohl
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.
ICECCS
(2012)
James L. Caldwell
,
Josef Pohl
Constructive Membership Predicates as Index Types.
Electron. Notes Theor. Comput. Sci.
174 (7) (2007)