Zsigmond Pap (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Zsigmond Pap, Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61

2 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

Selection of 2 from 3 records - Zsigmond Pap has 5 coauthors

3		Zsigmond Pap, Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61
2		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