| |
| 2004 | ||
|---|---|---|
| 3 | Zsigmond Pap, Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61 | |
| 2002 | ||
| 2 | EE | György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270 |
| 2001 | ||
| 1 | EE | Zsigmond Pap, István Majzik, András Pataricza: Checking General Safety Criteria on UML Statecharts. SAFECOMP 2001: 46-55 |
| 1 | György Csertán | [2] |
| 2 | Gábor Huszerl | [2] |
| 3 | István Majzik | [1] [2] |
| 4 | András Pataricza | [1] [2] |
| 5 | Dániel Varró | [2] [3] |