György Csertán

Publications

204

Citations

H-Index

2002

Active since

Affiliations

Budapest University of Technology and Economics(Current)

György Csertán is an author at Budapest University of Technology and Economics specializing in software design, systems engineering, and software testing.

Top concepts

DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2002–2007

Publications

VIATRA - visual automated transformations for formal verification and validation of UML models

György Csertán, G. Huszerl, István Majzik et al. · 2002 · 184 citations

Software Maintenance, Engineering, Verification +25

Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

Wolfgang Herzner, Rupert Schlick, Martin Schlager et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2007 · 20 citations

Rows per page

1–2 of 2