conf.researchr.org / Ármin Zavada
Registered user since Sun 15 Sep 2024
Name:Ármin Zavada
Country:Hungary
Affiliation:Budapest University of Technology and Economics
GitHub: https://github.com/arminzavada
Research interests:Formal Methods, Behavior Modeling, MBSE
Contributions