Alert button

A Methodology for Automating Assurance Case Generation

Mar 11, 2020
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai

Figure 1 for A Methodology for Automating Assurance Case Generation
Figure 2 for A Methodology for Automating Assurance Case Generation
Figure 3 for A Methodology for Automating Assurance Case Generation
Figure 4 for A Methodology for Automating Assurance Case Generation

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: