Completeness and Consistency Analysis of UML Statechart Specifications

CímCompleteness and Consistency Analysis of UML Statechart Specifications
Közlemény típusaConference Paper
Kiadás éve2001
SzerzőkPap, Z., Majzik, I., Pataricza, A., and Szegi, A.
SzerkesztőHlavicka, J., Renovell, M., Pataricza, A., Sziray, J., and Benyó, B.
Konferencia neveProc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001)
Kiadás dátuma2001
KiadóSZIF-Universitas
URLhttp://mycite.omikk.bme.hu/doc/16337.pdf