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 |