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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud

Journal title: Journal of Systems and Software

Journal number: 151

Journal publisher: Elsevier BV

Published year: 2019

Published pages: 258-282

DOI identifier: 10.1016/j.jss.2019.02.019

ISSN: 0164-1212