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

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/1770
Gyűjtemény
Cím és alcím
VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
Szerző
Csertán, György
Huszerl, Gábor
Majzik, István
Pap Zs
Pataricza, András
Varró, Dániel
Megjelenés ideje
2002
Kiadó
IEEE Press
Nyelv
en
Egyéb azonosítók
MTMT: 1635294
Web of Science: 000178713700031
A cikket/könyvrészletet tartalmazó dokumentum címe
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
ISBN, e-ISBN
0-7695-1736-6
Dokumentumtípus
könyvrészlet
Műfaj
konferenciaközlemény