A Methodology for Automating Assurance Case Generation

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai

January 2020

Type

Conference paper

Publication

In Tools and Methods of Competitive Engineering Symposium