Registered user since Fri 9 Oct 2020
Bence Graics is a PhD student at Budapest University of Technology and Economics. His research field is the model-driven development and verification of component-based reactive systems using formal methods.
|MODELS 2020||Mixed-semantics composition of statecharts for the component-based design of reactive systems|
|Show activities from other conferences|
View general profile