VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
Date
Type
könyvrészlet
Publisher
IEEE Press
ISBN, e-ISBN
0-7695-1736-6
Container Title
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
Gender
konferenciaközlemény