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]

Abstract

Abstract is missing.