MODELS 2026 (series) / Á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
MODELS 2026-profile
View general profile
View general profile