Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach
Title | Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach |
Publication Type | Conference Paper |
Year of Publication | 2009 |
Authors | Magyar, M., and Majzik, I. |
Conference Name | Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009) |
Date Published | 2009 |
URL | http://mycite.omikk.bme.hu/doc/81031.pdf |