ATTEST: Automating the review and update of assurance case arguments

Faiz Ul Muram, Muhammad Atif Javed. ATTEST: Automating the review and update of assurance case arguments. Journal of Systems Architecture, 134:102781, 2023. [doi]

Abstract

Abstract is missing.