György Réthy is an author at University of Göttingen specializing in formal verification, computer engineering, and control systems.
Top concepts
EngineeringFormal MethodsControl SystemsTest AutomationComputer ScienceSoftware TestingDesign For TestingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2003–2003
1
1
An introduction to the testing and test control notation (TTCN-3)
Jens Grabowski, Dieter Hogrefe, György Réthy et al. · Computer Networks · 2003 · 124 citations
Rows per page
1–1 of 1