Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
| Title | Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Dal Cin, M., Huszerl, G., and Kosmidis, K. |
| Conference Name | Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99) |
| Date Published | 1999 |
| Publisher | IEEE Computer Society Press |
