Completeness and Consistency Analysis of UML Statechart Specifications
| Cím | Completeness and Consistency Analysis of UML Statechart Specifications |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2000 |
| Szerzők | Pap, Z., Majzik, I., Pataricza, A., and Szegi, A. |
| Konferencia neve | 11th European Workshop on Dependable Computing (EWDC-11) |
| Kiadás dátuma | 2000 |
| Konferencia helyszíne | Budapest |
| URL | http://mycite.omikk.bme.hu/doc/16332.pdf |
