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.

Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

Victor Bandur, John McDermid. Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 3-14, Springer, 2015. [doi]

Authors

Victor Bandur

This author has not been identified. Look up 'Victor Bandur' in Google

John McDermid

This author has not been identified. Look up 'John McDermid' in Google
runs on