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 |
