Zsigmond Pap

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Zsigmond Pap, István Majzik, András Pataricza, András Szegi
Methods of checking general safety criteria in UML statechart specifications. Reliab. Eng. Syst. Saf. 87 (1) (2005)
Zsigmond Pap, Dániel Varró
Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) (2004)
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)
Zsigmond Pap, István Majzik, András Pataricza
Checking General Safety Criteria on UML Statecharts. SAFECOMP (2001)