Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models
Title | Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models |
Publication Type | Conference Paper |
Year of Publication | 2000 |
Authors | Huszerl, G., and Majzik, I. |
Conference Name | Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000) |
Date Published | 2000 |
Publisher | IEEE Computer Society Press |
Conference Location | Los Alamitos |