Completeness and Consistency Analysis of UML Statechart Specifications
| Title | Completeness and Consistency Analysis of UML Statechart Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Pap, Z., Majzik, I., Pataricza, A., and Szegi, A. |
| Editor | Hlavicka, J., Renovell, M., Pataricza, A., Sziray, J., and Benyó, B. |
| Conference Name | Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001) |
| Date Published | 2001 |
| Publisher | SZIF-Universitas |
| URL | http://mycite.omikk.bme.hu/doc/16337.pdf |


