Search

Now showing items 1-4 of 4

Workflow-Driven Tool Integration Using Model Transformations

Balogh, András; Bergmann, Gábor; Csertán, György; Gönczy, László; Horváth, Ákos; Majzik, István; Pataricza, András; Polgár, Balázs; Ráth, István Zoltán; Varró, Dániel; Varró, Gergely György (Springer-Verlag, 2010)

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Megbízhatósági modellek automatikus generálása gráftranszformációval

Domokos P; Majzik, István; Varró, Dániel (Erdélyi Múzeum-Egyesület (EME), 2004)

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

Csertán, György; Huszerl, Gábor; Majzik, István; Pap Zs; Pataricza, András; Varró, Dániel (IEEE Press, 2002)