Completeness and Consistency Analysis of UML Statechart Specifications
Cím | Completeness and Consistency Analysis of UML Statechart Specifications |
Közlemény típusa | Conference Paper |
Kiadás éve | 2001 |
Szerzők | Pap, Z., Majzik, I., Pataricza, A., and Szegi, A. |
Szerkesztő | Hlavicka, J., Renovell, M., Pataricza, A., Sziray, J., and Benyó, B. |
Konferencia neve | Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001) |
Kiadás dátuma | 2001 |
Kiadó | SZIF-Universitas |
URL | http://mycite.omikk.bme.hu/doc/16337.pdf |