Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach

TitleModular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach
Publication TypeConference Paper
Year of Publication2009
AuthorsMagyar, M., and Majzik, I.
Conference NameProc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009)
Date Published2009
URLhttp://mycite.omikk.bme.hu/doc/81031.pdf