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.

Automated Method for Assurance Case Construction from System Design Models

Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. Automated Method for Assurance Case Construction from System Design Models. In 5th International Conference on System Reliability and Safety, ICSRS 2021, Palermo, Italy, November 24-26, 2021. pages 230-239, IEEE, 2021. [doi]

Authors

Charles Hartsell

This author has not been identified. Look up 'Charles Hartsell' in Google

Nagabhushan Mahadevan

This author has not been identified. Look up 'Nagabhushan Mahadevan' in Google

Abhishek Dubey

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

Gabor Karsai

This author has not been identified. It may be one of the following persons: Look up 'Gabor Karsai' in Google
runs on