Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems
| Title | Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Dal Cin, M., Huszerl, G., and Kosmidis, K. |
| Editor | Puschner, P. |
| Conference Name | Proc. 10th European Workshop on Dependable Computing (EWDC-10) |
| Date Published | 1999 |
| Publisher | Österreichische Computer Gesellschaft |
