Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
| Cím | Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 1999 |
| Szerzők | Dal Cin, M., Huszerl, G., and Kosmidis, K. |
| Konferencia neve | Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99) |
| Kiadás dátuma | 1999 |
| Kiadó | IEEE Computer Society Press |
