Completeness and Consistency Analysis of UML Statechart Specifications

TitleCompleteness and Consistency Analysis of UML Statechart Specifications
Publication TypeConference Paper
Year of Publication2001
AuthorsPap, Z., Majzik, I., Pataricza, A., and Szegi, A.
EditorHlavicka, J., Renovell, M., Pataricza, A., Sziray, J., and Benyó, B.
Conference NameProc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001)
Date Published2001
PublisherSZIF-Universitas
URLhttp://mycite.omikk.bme.hu/doc/16337.pdf