Formal Validation of UML Statechart Diagrams Models
| Cím | Formal Validation of UML Statechart Diagrams Models |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2000 |
| Szerzők | Gnesi, S., Latella, D., Majzik, I., and Massink, M. |
| Konferencia neve | UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language) |
| Kiadás dátuma | 2000 |
| URL | http://mycite.omikk.bme.hu/doc/16334.pdf |
