External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Ewen Denney, Ganesh Pai, Josef Pohl. Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 199-208, IEEE Computer Society, 2012. [doi]

Authors

Ewen Denney

This author has not been identified. It may be one of the following persons: Look up 'Ewen Denney' in Google

Ganesh Pai

This author has not been identified. Look up 'Ganesh Pai' in Google

Josef Pohl

This author has not been identified. Look up 'Josef Pohl' in Google
runs on