Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models
Cím | Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models |
Közlemény típusa | Conference Paper |
Kiadás éve | 2000 |
Szerzők | Huszerl, G., and Majzik, I. |
Konferencia neve | Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000) |
Kiadás dátuma | 2000 |
Kiadó | IEEE Computer Society Press |
Konferencia helyszíne | Los Alamitos |