Model transformation for analyzing dependability of AADL model by using HiP-HOPS

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud. Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151:258-282, 2019. [doi]

Abstract

Abstract is missing.