DATAM: A model-based tool for dependability analysis

Xinghai Lu, Xiaohua Shi, Wenru Wang. DATAM: A model-based tool for dependability analysis. Concurrency - Practice and Experience, 33(7):1, 2021. [doi]

Abstract

Abstract is missing.