Ármin Zavada

Registered user since Sun 15 Sep 2024

Name:Ármin Zavada
Country:Hungary
Affiliation:Budapest University of Technology and Economics
Research interests:Formal Methods, Behavior Modeling, MBSE

Contributions