Show simple item record

Csertán, György
Huszerl, Gábor
Majzik, István
Pap Zs
Pataricza, András
Varró, Dániel
2016-09-04T21:27:00Z
2016-09-04T21:27:00Z
2002
http://hdl.handle.net/10890/1770
en
IEEE Press
VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
könyvrészlet
1635294
000178713700031
0-7695-1736-6
1635211
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
konferenciaközlemény


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • BME PA dokumentumai [3590]
    Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.

Show simple item record