Concepedia

Benedek Horváth

BH

Statistics

Publications

3

Citations

40

H-Index

3

Active since

2014

Affiliations

Johannes Kepler University of Linz(Current)

Budapest University of Technology and Economics

Benedek Horváth is an author at Johannes Kepler University of Linz specializing in software analysis, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringComplex SystemsSoftware Design

Publications per year

2014–2023

3

Publications

3

1–3 of 3