Completeness and Consistency Analysis of UML Statechart Specifications
| Title | Completeness and Consistency Analysis of UML Statechart Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Pap, Z., Majzik, I., Pataricza, A., and Szegi, A. |
| Conference Name | 11th European Workshop on Dependable Computing (EWDC-11) |
| Date Published | 2000 |
| Conference Location | Budapest |
| URL | http://mycite.omikk.bme.hu/doc/16332.pdf |
