VIATRA - visual automated transformations for formal verification and validation of UML models.
Uloženo v:
| Název: | VIATRA - visual automated transformations for formal verification and validation of UML models. |
|---|---|
| Autoři: | 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áze: | Complementary Index |
Full Text Finder | ISBN: | 9780769517360 |
|---|---|
| DOI: | 10.1109/ASE.2002.1115027 |