 | 2008 |
|---|
| 5 |       | Imre Kocsis,
György Csertán,
Péter László Pásztor,
András Pataricza:
Dependability and Security Metrics in Controlling Infrastructure.
SECURWARE 2008: 368-374 |
| 2006 |
|---|
| 4 | | Erwin Schoitsch,
Egbert Althammer,
Henrik Eriksson,
Jonny Vinter,
László Gönczy,
András Pataricza,
György Csertán:
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
SAFECOMP 2006: 372-385 |
| 2002 |
|---|
| 3 | | 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 |
| 2 | | György Csertán,
András Pataricza,
Péter Harang,
Orsolya Dobán,
Gabor Biros,
András Dancsecz,
Ferenc Friedler:
BPM Based Robust E-business Application Development (Practical Experience Report).
EDCC 2002: 32-43 |
| 1996 |
|---|
| 1 | | B. Antal,
György Csertán,
István Majzik,
Andrea Bondavalli,
Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study.
EUROMICRO 1996: 193- |
