Verification of UML Statechart Models of Embedded Systems
| Title | Verification of UML Statechart Models of Embedded Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Darvas, Á., Majzik, I., and Benyó, B. |
| Conference Name | Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002) |
| Date Published | 2002 |
| Publisher | Brno University of Technology |
| URL | http://mycite.omikk.bme.hu/doc/16342.pdf |
