-
Budapest University of Technology and Economics, Fault Tolerant Systems Research Group
- Hungary, H-1117 Budapest, Magyar tudósok körútja 2.
- https://oszkarsemerath.github.io/
Highlights
- Pro
Aren A. Babikian
ArenBabikian
Postdoctoral Fellow at the University of Toronto
University of Toronto Tronto, Canada
Kristóf Marussy
kris7t
Researcher working in the formal verification of extra-function properties for reconfigurable systems
@ftsrg Budapest, Hungary