Model based system assurance using the structured assurance case metamodel

Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins. Model based system assurance using the structured assurance case metamodel. Journal of Systems and Software, 154:211-233, 2019. [doi]

Abstract

Abstract is missing.