Verification of UML Statechart Models of Embedded Systems
| Cím | Verification of UML Statechart Models of Embedded Systems |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2002 |
| Szerzők | Darvas, Á., Majzik, I., and Benyó, B. |
| Konferencia neve | Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002) |
| Kiadás dátuma | 2002 |
| Kiadó | Brno University of Technology |
| URL | http://mycite.omikk.bme.hu/doc/16342.pdf |
