VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/1770
Collections
Title
VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
Author
Csertán, György
Huszerl, Gábor
Majzik, István
Pap Zs
Pataricza, András
Varró, Dániel
Date of issue
2002
Publisher
IEEE Press
Language
en
Identifiers
MTMT: 1635294
Web of Science: 000178713700031
Title of the container document
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
ISBN, e-ISBN
0-7695-1736-6
Document type
könyvrészlet
Document genre
konferenciaközlemény