Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems
| Cím | Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 1999 |
| Szerzők | Dal Cin, M., Huszerl, G., and Kosmidis, K. |
| Szerkesztő | Puschner, P. |
| Konferencia neve | Proc. 10th European Workshop on Dependable Computing (EWDC-10) |
| Kiadás dátuma | 1999 |
| Kiadó | Österreichische Computer Gesellschaft |
