VIATRA - visual automated transformations for formal verification and validation of UML models.
Uložené v:
| Názov: | VIATRA - visual automated transformations for formal verification and validation of UML models. |
|---|---|
| Autori: | Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D. |
| Zdroj: | Proceedings 17th IEEE International Conference on Automated Software Engineering; 2002, p267-270, 4p |
| Databáza: | Complementary Index |
Full Text Finder | ISBN: | 9780769517360 |
|---|---|
| DOI: | 10.1109/ASE.2002.1115027 |