VIATRA - visual automated transformations for formal verification and validation of UML models.
Saved in:
| Title: | VIATRA - visual automated transformations for formal verification and validation of UML models. |
|---|---|
| Authors: | Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D. |
| Source: | Proceedings 17th IEEE International Conference on Automated Software Engineering; 2002, p267-270, 4p |
| Database: | Complementary Index |
Full Text Finder Be the first to leave a comment!