Verification of UML Statechart Models of Embedded Systems

CímVerification of UML Statechart Models of Embedded Systems
Közlemény típusaConference Paper
Kiadás éve2002
SzerzőkDarvas, Á., Majzik, I., and Benyó, B.
Konferencia neveProc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002)
Kiadás dátuma2002
KiadóBrno University of Technology
URLhttp://mycite.omikk.bme.hu/doc/16342.pdf